conjunctive normal form
Sign in to saveAlso known as CNF, clausal form, product of sums expression
concept in Boolean logic
Connections
logical disjunction
Entity
De Morgan's laws
Entity
time complexity
Entity
algebraic normal form
Entity
International Standard Book Number
Entity
digital object identifier
Entity
Boolean algebra
Entity
commutative property
Entity
associativity
Entity
propositional calculus
Entity
distributive property
Entity
logical contradiction
Entity
logical negation
Entity
Cambridge University Press
Entity
logical conjunction
Entity
truth table
Entity
if and only if
Entity
computational complexity theory
Entity
first-order logic
Entity
model theory
Entity