Next: Miscellaneous Rules, Previous: Predicate Rules, Up: Rules Index
Aris can be set to use 'boolean mode', a mode used for boolean algebra. In boolean mode, only equivalence rules and boolean rules can be used.