Category:Normal forms (logic)
This category concerns the various
normal forms
used in logic.