Math

Conjunctive normal forms are AND of ORs.

$$(A \lor B) \land (A \lor \neg B)$$