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) AND (LA OR California) AND (Cats OR California) AND (Dogs OR LA)