Template:Normal forms in logic

{{documentation|content= {{collapsible option}} 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.