Symbols:Abbreviations/C

CNF

 * Conjunctive normal form.