boolean-normal-forms-0.0.0.1: Boolean normal form: NNF, DNF & CNF
Data.Algebra.Boolean.NNF.Tree
Description
Synopsis
data NNF a Source
Boolean formula in Negation Normal Form
Boolean operations will perform transformations as below:
Boolean
Constructors
Instances
module Data.Algebra.Boolean.NormalForm