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

Description

 

Synopsis

Documentation

newtype DNF a Source

Boolean formula in Disjunction Normal Form

Constructors

DNF 

Fields

unDNF :: [[a]]
 

Instances

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

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

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

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

module Data.Algebra.Boolean.NormalForm