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