boolsimplifier-0.1.8: Simplification tools for simple propositional formulas.
Normal form representation for boolean expressions. Typically simplifies such expressions, but is not guaranteed to produce the absolute simplest form.
Modules
boolsimplifier-0.1.8: Simplification tools for simple propositional formulas.
Normal form representation for boolean expressions. Typically simplifies such expressions, but is not guaranteed to produce the absolute simplest form.
Modules