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.Set

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 (Set (NNF a)) 
NNFAnd (Set (NNF a)) 

Instances

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

module Data.Algebra.Boolean.NormalForm