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.

disjunctive normal form · Vinony

EntityQ903789· pop 24· linked from 73 articles

disjunctive normal form

Sign in to save

proposition formula of a special form

Connections

propositional calculus

canonical normal form

algebraic normal form

International Standard Book Number

digital object identifier

Boolean algebra

commutative property

distributive property

logical contradiction

logical negation

De Morgan's laws

logical disjunction

logical conjunction

Cambridge University Press

logical operator

Categories

Knowledge compilation Normal forms (logic)

Sources

wikipedia.externallinksexternallink

What links here73 pages

descriptive complexity theory

boolean satisfiability problem

logical negation

negation normal form

disjunction elimination

complex programmable logic device

propositional formula

canonical normal form

Quantifier elimination

conjunctive normal form

history of logic

automated theorem proving

Boolean function

logical conjunction

quantum machine learning

functional completeness

Similar entities

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

conjunctive normal form

Entitydist 0.26

disjunction elimination

Entitydist 0.37

Conjunction introduction

Entitydist 0.41

past subjunctive

Entitydist 0.41

Entitydist 0.46

disjunction introduction

Entitydist 0.49

Biconditional introduction

Entitydist 0.50

Entitydist 0.56

Chomsky normal form

Entitydist 0.57

first normal form

Entitydist 0.62

deduction theorem

Entitydist 0.62

conditional proof

Entitydist 0.63