Skip to search formSkip to main contentSkip to account menu

Negation normal form

Known as: NNF, Negational normal form, Normal form 
In mathematical logic, a formula is in negation normal form if the negation operator (, not) is only applied to variables and the only other allowed… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
Algebraic normal formBinary decision diagramBoolean algebraConjunctive normal form

Broader (1)

Propositional calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
In vivo and in vitro degradation of peptide YY 3 – 36 to inactive peptide YY 3 – 34 in humans
Signe Toräng, Kirstine Nyvold Bojsen-Møller, Maria Saur Svane, Bolette Hartmann, Mette Marie Rosenkilde, Sten Madsbad, and Jens… 
2013
2013
Performance optimizations for PatchMatch-based pixel-level multiview inpainting
As 3D content is becoming ubiquitous in today's media landscape, there is a rising interest for 3D displays that do not demand… 
2012
2012
Olympiai Zeus-templom keleti oromcsoportjának rekonstrukciói = Reconstructions of the East Pediment of the Temple of Zeus at Olympia
Elkeszult a projekt első szakaszanak (NNF 78486) eredmenyeit bemutato multimedias CD-ROM (ISBN 978-963-284-196-0) Digitalizalasra… 
2003
2003
A PROBABILISTIC NEAREST NEIGHBOR FILTER FOR TARGET TRACKING IN A CLUTTER ENVIRONMENT
A new probabilistic nearest neighbor (NN) filter algorithm which accounts for the probability that the NN measurement is a false… 
2003
2003
The Fractal Dimension Making Similarity Queries More Efficient
This paper presents a new algorithm to answer k -nearest neighbor queries called the Fractal k -Nearest Neighbor (k NNF ()). This… 
2003
2003
Knowledge Compilation : Decomposable Negation Normal Form versus Linkless Formulas ?
Decomposable negation normal form (DNNF) was developed primarily for knowledge compilation. Formulas in DNNF are linkles s, in… 
2002
2002
Adaptive Postprocessing Algorithm for Reduction of Blocking Artifacts Using Wavelet Transform and NNF
2002
2002
Musik, möten, mångfald. Rapporter från ett seminarium om musik, kultur och identitet. Susanne Österlund-Pötzsch (ed.). (NNF Publications 8.) Turku 2001
Musik, moten, mangfald. Rapporter fran ett seminarium om musik, kultur och identitet. Susanne Osterlund-Potzsch (ed.). (NNF… 
2000
2000
Hoare logic for GOLOG programs
Hoare Logic for GOLOG Programs Yongmei Liu Master of Science Graduate Department of Computer Science University of Toronto 2000… 
1999
1999
Second language acquisition of intonation: the case of Dutch near-native speakers of Greek
This thesis focuses on the second language (L2) acquisition of intonation by Dutch near-native speakers of (Modern) Greek. Five…