- 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)
|