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.CNF.List

Description

 

Synopsis

Documentation

newtype CNF a Source

Boolean formula in Conjunction Normal Form

Constructors

CNF 

Fields

unCNF :: [[a]]
 

Instances

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

fromDoubleList :: [[a]] -> CNF aSource

toDoubleList :: CNF a -> [[a]]Source

fromNNF :: Negable a => NNF a -> CNF aSource

module Data.Algebra.Boolean.NormalForm