@hackage / boolean-normal-forms

Boolean normal form: NNF, DNF & CNF

Latest0.0.1.1

About

Metadata

  • Last updated , by phadej
  • License MIT

  • Maintained by: oleg.grenrus@iki.fi

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 8.8.1
  2. 8.6.5
  3. 8.4.3
  4. 8.2.2
  5. 8.0.2
  6. 7.10.3

Readme

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