Documentation

data Sentence s Source

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

neg :: Sentence s -> Sentence sSource

con :: Sentence s -> Sentence s -> Sentence sSource

dis :: Sentence s -> Sentence s -> Sentence sSource

val :: s -> Sentence sSource

bic :: Sentence s -> Sentence s -> Sentence sSource

imp :: Sentence s -> Sentence s -> Sentence sSource

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

evalSentence :: (Ord s, Show s) => TruthAssignment s -> Sentence s -> BoolSource

isValidByTruthTable :: (Ord s, Show s) => Sentence s -> BoolSource

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

theorem :: [Sentence s] -> Sentence s -> Theorem sSource

bddCheckTaut :: Ord s => Sentence s -> BoolSource