Next: , Previous: Predicate Rules, Up: Rules Index


6.4 Boolean Rules

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.