### Navigation

- index
- modules |
- Symbolic Logic »

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

### Navigation

- index
- modules |
- Symbolic Logic »