This library provides types that might be useful in symbolic manipulation of propositional logic expressions.
- CNF (list and set)
- DNF (list and set)
- NNF (tree and set)
- FreeBoolean type useful in testing
Distributed under MIT license © Oleg Grenrus 2014