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

Description

 

Synopsis

Documentation

newtype DNF a Source

Boolean formula in Disjunction Normal Form

Constructors

DNF 

Fields

unDNF :: Set (Set a)
 

Instances

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

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

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

fromNNF :: (Ord a, Negable a) => NNF a -> DNF aSource

module Data.Algebra.Boolean.NormalForm