consistent()
formula()
get_formulas()
BooleanFormula
is_consequence()
eval_f()
eval_formula()
eval_op()
apply_func()
get_trees()
parse()
parse_ltor()
polish_parse()
prefix_to_infix()
recover_formula()
recover_formula_internal()
to_infix_internal()
tokenize()
tree_parse()
SymbolicLogic
eval()
eval_and_op()
eval_bin_op()
eval_iff_op()
eval_ifthen_op()
eval_ltor_toks()
eval_mon_op()
eval_or_op()
get_bit()
reduce_bins()
reduce_monos()
Truthtable
Index
Module Index
Search Page
Propositional Calculus