boolean-normal-forms-0.0.0.1: Boolean normal form: NNF, DNF & CNF

Portabilitynon-portable
Stabilityexperimental
MaintainerOleg Grenrus <oleg.grenrus@iki.fi>
Safe HaskellNone

Data.Algebra.Boolean.NNF.Tree

Description

 

Synopsis

Documentation

data NNF a Source

Boolean formula in Negation Normal Form

Boolean operations will perform transformations as below:

Constructors

NNFTrue 
NNFFalse 
NNFValue a 
NNFOr (NNF a) (NNF a) 
NNFAnd (NNF a) (NNF a) 

Instances

Functor NNF 
Typeable1 NNF 
CoBoolean1 NNF 
NormalForm NNF 
Eq a => Eq (NNF a) 
Ord a => Ord (NNF a) 
Read a => Read (NNF a) 
Show a => Show (NNF a) 
Negable a => Boolean (NNF a) 
CoBoolean a => CoBoolean (NNF a) 
Negable a => Negable (NNF a) 

module Data.Algebra.Boolean.NormalForm