AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

← Back to list of members

Boolean

Property

Summary

BooleanRules(AngouriMath.Entity), as data.

Remarks

Thirty-six arms become sixteen, and this set is why
#248 is worth
having. Distributivity is written eight times in the switch — both
distributive laws, each for the four ways the shared operand can sit inside two
commutative pairs — and absorption another eight. A commutative pattern at both levels
says each of those once.
Order is load-bearing throughout. Excluded middle is tried before the general
¬a ∨ b = a → b, which would otherwise swallow it; and that general rule comes
before the constant-folding rules, so ¬x ∨ True is x → True and not
True. Both orderings are the switch's, kept.
Every rule asks IsLogic(AngouriMath.Entity) of what it binds, because
these laws are about statements and a bare variable under the default reading is not
one. That is a guard over several bindings, which no predicate on a single hole can
express.

AngouriMath

Table of contents

AngouriMath

Boolean