Index

A | B | C | D | E | F | G | I | P | R | S | T | V

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_contradiction() (sage.logic.boolformula.BooleanFormula method)
is_satisfiable() (sage.logic.boolformula.BooleanFormula method)
is_tautology() (sage.logic.boolformula.BooleanFormula method)

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)

V

valid_consequence() (in module sage.logic.propcalc)