law and_assoc_sym

bend-mathlib@0.8.1.0 · bool.bend:562

import Base

562# Boolean and is associative, reversed to rewrite toward the simple side.
563law and_assoc_sym:
564  for a: Bool
565  for -b: Bool
566  for -c: Bool
567  {Bool.and(a, Bool.and(b, c)) == Bool.and(Bool.and(a, b), c) : Bool}