Boolean normal form: NNF, DNF & CNF

Version on this page:0.0.1@rev:1
LTS Haskell 14.17:
Stackage Nightly 2019-12-16:
Latest on Hackage:

See all snapshots boolean-normal-forms appears in

MIT licensed by Oleg Grenrus
Maintained by

Boolean normal forms

Build Status

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



  • Add NFData instances
comments powered byDisqus