boolean-normal-forms
Boolean normal form: NNF, DNF & CNF
| Version on this page: | 0.0.1@rev:1 |
| LTS Haskell 16.31: | 0.0.1.1 |
| Stackage Nightly 2020-06-16: | 0.0.1.1 |
| Latest on Hackage: | 0.0.1.1 |
Maintained by [email protected]
This version can be pinned in stack with:
boolean-normal-forms-0.0.1@sha256:d5f99a06641414171d06211598b5da03a1db1ffeb6defbf584ad9f733b9e61dc,2839Module documentation for 0.0.1
Depends on 4 packages(full list with versions):
Boolean normal forms
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