Next: Miscellaneous Rules, Previous: Predicate Rules, Up: Rules Index [Contents]
Aris can be set to use ’boolean mode’, a mode used for boolean algebra. In boolean mode, only equivalence rules that handle negations, conjunctions, or disjunctions and boolean rules can be used. In standard mode, the boolean rules can still be used, however.