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.