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