In
Boolean algebra, any
Boolean function can be put into the
canonical disjunctive normal form (
CDNF) or
minterm canonical form and its dual
canonical conjunctive normal form (
CCNF) or
maxterm canonical form. Other canonical forms include the complete sum of prime implicants or
Blake canonical form (and its dual), and the
algebraic normal form (also called Zhegalkin or Reed–Muller).