Mastodon Feed: Post

dysfun@treehouse.systems ("gaytabase") wrote:

simplification with algebra is quite complicated. however, a handful of rules would probably go quite a long way towards eliminating tedium

capitals are nat constants and putting them together is addition or multiplication as appropriate

a + 0 ->a
0 + a -> a
a * 0 -> 0
0 * a -> 0
a * 1 -> a
1 * a -> a
A + B + c -> AB + c
A + b + C -> AC + b
A * B * c -> AB * c
A * b * C -> AC * b