DeMorgan’s Laws refers to either properties about logical operations, or about set operations

  1. (Logic) For propositions and ,
  2. (Set theory) If and are sets, then