Source: wikibot/normal-forms-logic

= Normal forms (logic)
{wiki=Category:Normal_forms_(logic)}

In logic, particularly in propositional logic and predicate logic, "normal forms" refer to standardized ways of structuring logical expressions. Two of the most commonly discussed normal forms are: 1. **Conjunctive Normal Form (CNF)**: - A logical formula is in conjunctive normal form if it is a conjunction (AND) of one or more clauses, where a clause is a disjunction (OR) of literals.