~/jendhub

law bnot_byte

lawful-words@0.1.0.0 · proof_bytes.bend:328

import lawful-words@0.1.0.0/proof_bytes.bend as ProofBytes
import Base

328law bnot_byte:
329  for +l: Bool
330  for +i: Bool
331  for +x: Bool
332  for imp: {l == True{} : Bool} -> {i == True{} : Bool}
333  {Bool.and(l, Bool.and(i, Bool.not(x))) == Bool.xor(Bool.and(l, x), l) : Bool}

Uses (5)

Used by (1)