Data.Logic.Classes.Propositional
class PropositionalFormula formula atom
showPropositional
prettyPropositional
fixityPropositional
convertProp
combine
negationNormalForm
clauseNormalForm
clauseNormalForm'
clauseNormalFormAlt
clauseNormalFormAlt'
disjunctiveNormalForm
disjunctiveNormalForm'
overatoms
foldAtomsPropositional
mapAtomsPropositional