Introductory example
Generating a Prime Disjunctive Normal Form, the default and the fast way
XPDNF as a propositional algebra
The canonization steps
Syntax
Conversions
IdxPropForm -- indexed propositional formulas
Purely syntactical conversions to propositional formulas
Conversions to and from propositional formulas
The IForm algebra
Basic operations
The propositional algebra operations
Generation of pairwise minimal, minimal and prime forms
Generation of prime and pairwise minimal forms of two lines
Implementation of the M- and the P-Procedure
The XForm operations
The propositional algebras
XPDNF and XPCNF
MixForm
Complexities and choice of a algebra