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