否定標準形(ひていひょうじゅんけい、NNF)とは、否定記号\\lnotが原子論理式のみにかかり、他には選言記号\\lorと連言記号\\landのみが論理記号として用いられる形の論理式を指す.
NNF