Boolean normal form: NNF, DNF & CNF

Latest on Hackage:0.0.1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow to host generated Haddocks.

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
Depends on 4 packages:
Used by 1 package:
comments powered byDisqus