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