Next: , Previous: , Up: Rules Index   [Contents]

6.4 Boolean Rules

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.