Symbols:Abbreviations/N/NNF

Abbreviation: NNF

 * Negation normal form.