Data.Logic.Instances.Chiou

data Sentence v p f

data CTerm v f

data Connective

data Quantifier

data ConjunctiveNormalForm v p f

data NormalSentence v p f

data NormalTerm v f

toSentence

fromSentence