hatt-1.5.0.3: A truth table generator for classical propositional logic. (Index)

hatt-1.5.0.3: A truth table generator for classical propositional logic.

Index

assignments	Data.Logic.Propositional
Biconditional	Data.Logic.Propositional
colourBool	Data.Logic.Propositional.Tables
Conditional	Data.Logic.Propositional
Conjunction	Data.Logic.Propositional
Disjunction	Data.Logic.Propositional
equivalent	Data.Logic.Propositional
Expr	Data.Logic.Propositional
interpret	Data.Logic.Propositional
isContingent	Data.Logic.Propositional
isContradiction	Data.Logic.Propositional
isTautology	Data.Logic.Propositional
Mapping	Data.Logic.Propositional
Negation	Data.Logic.Propositional
parseExpr	Data.Logic.Propositional
Printer	Data.Logic.Propositional.Tables
show	Data.Logic.Propositional
showAscii	Data.Logic.Propositional
showBool	Data.Logic.Propositional.Tables
toCNF	Data.Logic.Propositional.NormalForms
toDNF	Data.Logic.Propositional.NormalForms
toNNF	Data.Logic.Propositional.NormalForms
truthTable	Data.Logic.Propositional.Tables, Data.Logic.Propositional
truthTableP	Data.Logic.Propositional.Tables, Data.Logic.Propositional
values	Data.Logic.Propositional
Var
1 (Type/Class)	Data.Logic.Propositional
2 (Data Constructor)	Data.Logic.Propositional
Variable	Data.Logic.Propositional
variables	Data.Logic.Propositional