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