Data.Logic.Harrison.Prop

eval

atoms

onAllValuations

type TruthTable a

type TruthTableRow

truthTable

tautology

unsatisfiable

satisfiable

rawdnf

purednf

dnf

dnf'

trivial

psimplify

nnf

simpdnf

simpcnf

positive

negative

negate

distrib

list_disj

list_conj

pSubst

dual

nenf

mkLits

allSatValuations

dnf0

cnf

cnf'