(((((A AND B) OR C) => D) OR (NOT E)) AND (C => D))
(((A <=> B) AND (C OR D)) OR (NOT B))