This category concerns the various normal forms used in logic.
Category:Boolean algebra
Category:Propositional calculus