boolean-normal-forms

Boolean normal form: NNF, DNF & CNF

Version on this page:0.0.1
Stackage Nightly 2018-12-15:0.0.1
Latest on Hackage:0.0.1

See all snapshots boolean-normal-forms appears in

MIT licensed by Oleg Grenrus
Maintained by oleg.grenrus@iki.fi

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.

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

Changes

0.0.1

  • Add NFData instances
Depends on 4 packages:
Used by 1 package:
comments powered byDisqus