### Navigation

- index
- modules |
- Symbolic Logic »

# Index – 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)

### Navigation

- index
- modules |
- Symbolic Logic »