This repository was archived by the owner on Apr 15, 2025. It is now read-only.
We include the basic normal forms for propositional formulas. They are negative normal form, disjunctive normal form, and conjunctive normal formal. All are available using a function or applying a theorem. See
more details in the NormalForms module.