@hackage boolean-normal-forms0.0.0.2

Boolean normal form: NNF, DNF & CNF

Categories
License
MIT
Maintainer
oleg.grenrus@iki.fi
Links
Versions
- 0.0.1.1 Wed, 4 Dec 2019
- 0.0.1 Tue, 9 Oct 2018
- 0.0.0.2 Fri, 24 Nov 2017
- 0.0.0.1 Thu, 21 Jan 2016

Installation
In your cabal file:
Tested Compilers
Dependencies (3)
- base >=4.6 && <4.11
- containers >=0.5 && <0.6
- cond >=0.4.1 && <0.5
Dependents (1)
@hackage/acme-everything

The provided types that might be useful in symbolic manipulation of propositional logic expressions.