Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

negation normal form · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Português 日本語

EntityQ1640479· pop 11· linked from 25 articles

negation normal form

Also known as NNF

term

Available in 11 languages

Español
Français
Deutsch
日本語
Português
Italiano
Catalan
Nederlands
Serbian
Ukrainian

Connections

propositional calculus

first-order logic

Categories

Knowledge compilation Normal forms (logic)Propositional calculus

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

algebraic normal form

Entity

International Standard Book Number

mathematical logic

Boolean algebra

distributive property

logical negation

De Morgan's laws

logical disjunction

logical conjunction

material implication

context-free grammar

boolean satisfiability problem

disjunctive normal form

conjunctive normal form

Sign in to save

What links here25 pages

disjunctive normal form

canonical normal form

conjunctive normal form

Boolean function

binary decision diagram

Beta normal form

prenex normal form

De Morgan's laws

Skolem normal form

algebraic normal form

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.25

Entitydist 0.45

commercial minus sign

Entitydist 0.55

Entitydist 0.56

Entitydist 0.61

Entitydist 0.64

converse implication

Entitydist 0.65

Entitydist 0.65

split ergativity

Entitydist 0.66

Entitydist 0.66

Entitydist 0.67

Semiotic elements and classes of signs

Entitydist 0.67