de morgan yasası

• kümelerle sınırlı değil, mantıksal önermeler için de aynı şekilde iş görüyor:
  
  ~(a v b) = ~a ^ ~b
  
  ~(a ^ b) = ~a v ~b
  
  ~ not, ^ and, v or olmak üzere. ayrıca ikiden fazla önermeler de gruplanabilir.