----
(a || b) && (c || d)
----
(a or b) and (c or d)