law word_and_or

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

import Base

543law word_and_or:
544  for +n: Nat
545  for +a: Word(n)
546  for +b: Word(n)
547  {Nat.add(Word.to_nat(n, Word.and(n, a, b)), Word.to_nat(n, Word.or(n, a, b))) == Nat.add(Word.to_nat(n, a), Word.to_nat(n, b)) : Nat}