Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

negation normal form · Vinony

EntityQ1640479· pop 11· linked from 25 articles

negation normal form

Sign in to save

term

Connections

propositional calculus

first-order logic

algebraic normal form

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

Categories

Knowledge compilation Normal forms (logic)Propositional calculus

Sources

wikipedia.externallinksexternallink

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