Symbols:Abbreviations/C/CNF

Abbreviation: CNF

 * Conjunctive normal form.