| German |
| has gloss | deu: Eine logische Formel ist in Negationsnormalform (NNF), falls die Negationsoperatoren in ihr nur direkt über atomaren Aussagen vorkommen. |
| lexicalization | deu: Negations-Normalform |
| lexicalization | deu: Negationsnormalform |
| Japanese |
| has gloss | jpn: 否定標準形（ひていひょうじゅんけい negation normal form、NNF）とは、否定記号 \lnot が原子論理式のみにかかり、他には選言記号 \lor と連言記号 \land のみが論理記号として用いられる形の論理式を指す。 |
| lexicalization | jpn: 否定標準形 |
| Portuguese |
| has gloss | por: Uma fórmula lógica está na forma normal da negação se a negação ocorre logo após fórmulas atômicas, e \lnot, \lor,\land} são os únicos conectivos booleanos permitidos. Na , cada fórmula pode ser convertida para essa forma substituindo implicações e equivalências pelas suas definições, usando as leis de De Morgan para internalizar a negação na fórmula e eliminando duplas negações. Esse processo pode ser representado através das seguintes regras de conversão: |
| lexicalization | por: forma normal da negação |
| Serbian |
| has gloss | srp: Логичка формула је у негацијској нормалној форми ако се негације јављају само уз атомичке исказне формуле, а у формули се јављају само везници \lnot, \lor,\land}. У класичној логици свака формула може да се преведе у ову форму тако што се импликације и еквиваленције замене својим дефиницијама, искористе се де Морганови закони да се негације спусте што је могуће дубље, и елиминишу се двоструке негације. Овај процес се може представити следећим логичким еквиваленцијама: |
| lexicalization | srp: Негацијска нормална форма |