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

Description

 

Synopsis

Documentation

newtype CNF a Source

Boolean formula in Conjunction Normal Form

Constructors

CNF 

Fields

unCNF :: Set (Set a)
 

Instances

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

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

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

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

module Data.Algebra.Boolean.NormalForm