Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

DeMorgan's Law extended to Union AND Intersection

  1. Jun 4, 2015 #1

    We all know that DeMorgan's Law is as follows:
    (A∪B)' = A'∩B'
    (A∩B)' = A'∪B'
    where ' refers to the complement of a set and A and B are both sets.

    We also know that this can be extended to more than two terms.

    My question is whether or not the following is true:
    (A∩B∪C)' = A'∪B'∩C'

    Here is my logic:
    (A∩B∪C)' = ((A∩B)∪C)' = (A∩B)'∩C' = A'∪B'∩C'
  2. jcsd
  3. Jun 5, 2015 #2


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Yes that's right. You can reassure yourself by drawing a Venn diagram in which A and B are intersecting circles, dividing the Venn box into four regions counting the region outside both circles. Then draw C as a blob that intersects all four regions.

    By the way, I would write A∩B∪C as (A∩B)∪C because the leftmost precedence of operators is not universally understood or accepted for set operators, and
    (A∩B)∪C is not in general equal to A∩(B∪C).
  4. Jul 10, 2015 #3
    ((A∩B)∪C)' ≡ ((A∪C)∩(B∪C))'
    ≡ (A∪C)'∪(B∪C)'
    ≡ (A'∩C')∪(B'∩C')
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - DeMorgan's extended Union Date
I DeMorgan's Theorem Nov 8, 2016
B Cant get Venn diagram to agree with Demorgan's Law Oct 10, 2016
Measures beyond Lebesgue: are Solovay's proofs extendible to them? Mar 15, 2013
Extended Kalman Jan 16, 2013
Proving the Demorgan Law Jan 28, 2009