(a AND b) OR (c AND d) <=> (a OR c) AND (a OR d) AND (b OR c) AND (b OR d)