Index

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

A

add_statement() (sage.logic.boolformula.BooleanFormula method)

B

BooleanFormula (class in sage.logic.boolformula)

C

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_f() (in module sage.logic.booleval)
eval_formula() (in module sage.logic.booleval)
eval_op() (in module sage.logic.booleval)
evaluate() (sage.logic.boolformula.BooleanFormula method)

F

formula() (in module sage.logic.propcalc)
full_tree() (sage.logic.boolformula.BooleanFormula method)

G

get_bit() (sage.logic.boolformula.BooleanFormula method)
get_next_op() (sage.logic.boolformula.BooleanFormula method)

I

iff() (sage.logic.boolformula.BooleanFormula method)
ifthen() (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

polish_notation() (sage.logic.boolformula.BooleanFormula method)

R

reduce_op() (sage.logic.boolformula.BooleanFormula method)

S

sage.logic.booleval (module)
sage.logic.boolformula (module)
sage.logic.propcalc (module)
satformat() (sage.logic.boolformula.BooleanFormula method)

T

to_infix() (sage.logic.boolformula.BooleanFormula method)
tree() (sage.logic.boolformula.BooleanFormula method)
truthtable() (sage.logic.boolformula.BooleanFormula method)

Index

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

Full index on one page