Source: wikibot/canonical-normal-form

= Canonical normal form
{wiki=Canonical_normal_form}

Canonical Normal Form (CNF) refers to a standardized representation of logical expressions, particularly in the context of propositional logic and Boolean algebra. There are two main types of canonical forms: **Conjunctive Normal Form (CNF)** and **Disjunctive Normal Form (DNF)**.