(c or (a and b)) and (d or (b and (a or c)))