Symbolic Logic

• Propositional Calculus
  • consistent()
  • formula()
  • get_formulas()
• Boolean Formulas
  • BooleanFormula
  • is_consequence()
• Evaluation of Boolean Formulas
  • eval_f()
  • eval_formula()
  • eval_op()
• Module that creates and modifies parse trees of well formed boolean formulas.
  • apply_func()
  • get_trees()
  • parse()
  • parse_ltor()
  • polish_parse()
  • prefix_to_infix()
  • recover_formula()
  • recover_formula_internal()
  • to_infix_internal()
  • tokenize()
  • tree_parse()
• Symbolic Logic Expressions
  • 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()
  • tokenize()
• Logic Tables
  • Truthtable

Indices and Tables

• Index

• Module Index

• Search Page