law de_morgan_and_sym

bend-mathlib@0.8.1.0 · bool.bend:646

import Base

646# De Morgan: not (a and b) is (not a) or (not b), reversed to rewrite toward the simple side.
647law de_morgan_and_sym:
648  for a: Bool
649  for -b: Bool
650  {Bool.or(Bool.not(a), Bool.not(b)) == Bool.not(Bool.and(a, b)) : Bool}