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