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.

conjunctive normal form · Vinony

EntityQ846564· pop 23· linked from 121 articles

conjunctive normal form

Sign in to save

concept in Boolean logic

Connections

logical disjunction

De Morgan's laws

time complexity

algebraic normal form

International Standard Book Number

digital object identifier

Boolean algebra

commutative property

propositional calculus

distributive property

logical contradiction

logical negation

Cambridge University Press

logical conjunction

computational complexity theory

first-order logic

Categories

Knowledge compilation Normal forms (logic)

Sources

wikipedia.externallinksexternallink

Similar entities

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

disjunctive normal form

Entitydist 0.26

Entitydist 0.32

disjunction elimination

Entitydist 0.34

past subjunctive

Entitydist 0.37

Conjunction introduction

Entitydist 0.43

disjunction introduction

Entitydist 0.47

Biconditional introduction

Entitydist 0.52

Entitydist 0.55

first normal form

Entitydist 0.55

logical biconditional

Entitydist 0.56

Entitydist 0.58

Wikijunior:Alphabet/B

Entitydist 0.59

What links here121 pages

material implication

descriptive complexity theory

boolean satisfiability problem

true quantified Boolean formula

logical negation

negation normal form

parameterized complexity

logic programming

propositional formula

standard Boolean model

2-satisfiability

canonical normal form

Tseytin transformation

disjunctive normal form