law xor_assoc_sym

bend-mathlib@0.8.1.0 · bool.bend:743

import Base

743# Exclusive or is associative, reversed to rewrite toward the simple side.
744law xor_assoc_sym:
745  for a: Bool
746  for b: Bool
747  for c: Bool
748  {Bool.xor(a, Bool.xor(b, c)) == Bool.xor(Bool.xor(a, b), c) : Bool}