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.
| • bi: | Boolean Identity | |
| • bn: | Boolean Negation | |
| • bd: | Boolean Dominance | |
| • sn: | Symbol Negation |