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