Boolean normal form: NNF, DNF & CNF.

The provided types that might be useful in symbolic manipulation of propositional logic expressions.

Boolean normal forms

This library provides types that might be useful in symbolic manipulation of propositional logic expressions.

Features

• CNF (list and set)
• DNF (list and set)
• NNF (tree and set)
• FreeBoolean type useful in testing

Distributed under MIT license © Oleg Grenrus 2014