Conjunctive normal form

Conjunctive normal form (CNF) is an AND of ORs. Any boolean statement can be converted to CNF, but the conversion may not be trivial. e.g. (Cats in LA) or (Dogs in California) becomes (Cats OR Dogs) …