Index A | B | C | D | E | F | G | I | L | M | P | R | S | T A add_statement() (sage.logic.boolformula.BooleanFormula method) apply_func() (in module sage.logic.logicparser) B BooleanFormula (class in sage.logic.boolformula) C combine() (sage.logic.logic.SymbolicLogic method) consistent() (in module sage.logic.propcalc) convert_cnf() (sage.logic.boolformula.BooleanFormula method) convert_cnf_recur() (sage.logic.boolformula.BooleanFormula method) convert_cnf_table() (sage.logic.boolformula.BooleanFormula method) convert_expression() (sage.logic.boolformula.BooleanFormula method) convert_opt() (sage.logic.boolformula.BooleanFormula method) D dist_not() (sage.logic.boolformula.BooleanFormula method) dist_ors() (sage.logic.boolformula.BooleanFormula method) E equivalent() (sage.logic.boolformula.BooleanFormula method) eval() (in module sage.logic.logic) eval_and_op() (in module sage.logic.logic) eval_bin_op() (in module sage.logic.logic) eval_f() (in module sage.logic.booleval) eval_formula() (in module sage.logic.booleval) eval_iff_op() (in module sage.logic.logic) eval_ifthen_op() (in module sage.logic.logic) eval_ltor_toks() (in module sage.logic.logic) eval_mon_op() (in module sage.logic.logic) eval_op() (in module sage.logic.booleval) eval_or_op() (in module sage.logic.logic) evaluate() (sage.logic.boolformula.BooleanFormula method) F formula() (in module sage.logic.propcalc) full_tree() (sage.logic.boolformula.BooleanFormula method) G get_bit() (in module sage.logic.logic) (sage.logic.boolformula.BooleanFormula method) get_formulas() (in module sage.logic.propcalc) get_next_op() (sage.logic.boolformula.BooleanFormula method) get_table_list() (sage.logic.logictable.Truthtable method) get_trees() (in module sage.logic.logicparser) I iff() (sage.logic.boolformula.BooleanFormula method) ifthen() (sage.logic.boolformula.BooleanFormula method) implies() (sage.logic.boolformula.BooleanFormula method) is_consequence() (in module sage.logic.boolformula) (sage.logic.boolformula.BooleanFormula method) is_contradiction() (sage.logic.boolformula.BooleanFormula method) is_satisfiable() (sage.logic.boolformula.BooleanFormula method) is_tautology() (sage.logic.boolformula.BooleanFormula method) L length() (sage.logic.boolformula.BooleanFormula method) M module sage.logic.booleval sage.logic.boolformula sage.logic.logic sage.logic.logicparser sage.logic.logictable sage.logic.propcalc P parse() (in module sage.logic.logicparser) parse_ltor() (in module sage.logic.logicparser) polish_notation() (sage.logic.boolformula.BooleanFormula method) polish_parse() (in module sage.logic.logicparser) prefix_to_infix() (in module sage.logic.logicparser) print_table() (sage.logic.logic.SymbolicLogic method) prove() (sage.logic.logic.SymbolicLogic method) R recover_formula() (in module sage.logic.logicparser) recover_formula_internal() (in module sage.logic.logicparser) reduce_bins() (in module sage.logic.logic) reduce_monos() (in module sage.logic.logic) reduce_op() (sage.logic.boolformula.BooleanFormula method) S sage.logic.booleval module sage.logic.boolformula module sage.logic.logic module sage.logic.logicparser module sage.logic.logictable module sage.logic.propcalc module satformat() (sage.logic.boolformula.BooleanFormula method) simplify() (sage.logic.logic.SymbolicLogic method) statement() (sage.logic.logic.SymbolicLogic method) SymbolicLogic (class in sage.logic.logic) T to_infix() (sage.logic.boolformula.BooleanFormula method) to_infix_internal() (in module sage.logic.logicparser) tokenize() (in module sage.logic.logic) (in module sage.logic.logicparser) tree() (sage.logic.boolformula.BooleanFormula method) tree_parse() (in module sage.logic.logicparser) Truthtable (class in sage.logic.logictable) truthtable() (sage.logic.boolformula.BooleanFormula method) (sage.logic.logic.SymbolicLogic method)