Methods
cnf (TruthTable)
dnf (TruthTable)
formula (TruthTable)
new (TruthTable)
qm (QM)
test (TruthTable)