Template:Normal forms in logic Source: en.wikipedia.org/wiki/Template:Normal_forms_in_logic
Template documentationThis template's initial visibility currently defaults to autocollapse, meaning that if there is another item on the page (a navbox, sidebar, or table with the 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.
