law u32_and_or

bend-osdev-u32@0.1.0.0 · LAWS.bend:599

import Base

599law u32_and_or:
600  for +a: U32
601  for +b: U32
602  {Nat.add(U32.to_nat(U32.and(a, b)), U32.to_nat(U32.or(a, b))) == Nat.add(U32.to_nat(a), U32.to_nat(b)) : Nat}