MIT licensed by Oleg Grenrus
Maintained by [email protected]
This version can be pinned in stack with:boolean-normal-forms-0.0.1.1@sha256:ac956edc276274ef742bdc6c9ec165590d00287fcb9accd21b9858234f5abdd8,2108

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