Proper.Sentence

data Sentence s

checkTheorem

neg

con

dis

val

bic

imp

truthAssignment

evalSentence

isValidByTruthTable

toCNF

theorem

bddCheckTaut