Documentation

data 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