Template:Normal forms in logic

Template documentation

This template's initial visibility currently defaults to autocollapse, meaning that if there is another collapsible item on the page (a navbox, sidebar, or table with the collapsible attribute), it is hidden apart from its title bar; if not, it is fully visible.

To change this template's initial visibility, the |state= parameter may be used:

{{Normal forms in logic|state=collapsed}} will show the template collapsed, i.e. hidden apart from its title bar.
{{Normal forms in logic|state=expanded}} will show the template expanded, i.e. fully visible.

This template organizes various normal forms used in logic, split into three categories: propositional logic, predicate logic, and other forms. Each category lists significant normal forms related to that category of logic.

v t e Normal forms in logic
Propositional logic	Negation normal form Conjunctive normal form Disjunctive normal form Algebraic normal form (Zhegalkin polynomial) Blake canonical form Canonical normal form Horn clause
Predicate logic	Skolem normal form Herbrandization Prenex normal form
Other	Beta normal form Modal clausal form Normal form (natural deduction)

v t e Logic templates
Types of logic	Classical logic Mathematical logic Metalogic Non-classical logic Philosophical logic
Other templates	Common logical symbols Logical connectives Logical paradoxes Logical truth Set theory Transformation rules Normal forms Diagrams
Logic navbar

Template:Normal forms in logic

See also