Category:Normal forms (logic)

This category concerns the various normal forms used in logic.