Boolean normal form: NNF, DNF & CNF

Version on this page:0.0.1
LTS Haskell 13.22:0.0.1
Stackage Nightly 2019-05-18:0.0.1
Latest on Hackage:0.0.1

See all snapshots boolean-normal-forms appears in

MIT licensed by Oleg Grenrus
Maintained by

Module documentation for 0.0.1

There are no documented modules for this package.

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