law bxor_dist

lawful-words@0.1.0.0 · proof_bytes.bend:315

import Base

315law bxor_dist:
316  for +l: Bool
317  for +x: Bool
318  for +y: Bool
319  {Bool.and(l, Bool.xor(x, y)) == Bool.xor(Bool.and(l, x), Bool.and(l, y)) : Bool}