Proper.Formula

Documentation

data Formula s

Instances

Functor Formula

Foldable Formula

Eq s => Eq (Formula s)

Ord s => Ord (Formula s)

Show s => Show (Formula s)

checkTheorem :: (Ord s, Show s) => Theorem s -> Bool

neg :: Formula s -> Formula s

con :: Formula s -> Formula s -> Formula s

dis :: Formula s -> Formula s -> Formula s

val :: s -> Formula s

bic :: Formula s -> Formula s -> Formula s

imp :: Formula s -> Formula s -> Formula s

truthAssignment :: Ord s => [s] -> [Bool] -> TruthAssignment s

evalFormula :: (Ord s, Show s) => TruthAssignment s -> Formula s -> Bool

isValidByTruthTable :: (Ord s, Show s) => Formula s -> Bool

toCNF :: (Ord s, Show s) => Formula s -> CNF s

theorem :: [Formula s] -> Formula s -> Theorem s

bddCheckTaut :: Ord s => Formula s -> Bool