Proving (A∩B)' = A'∪B' Without De Morgan's Method

[solakis]

Can we prove :($A\cap B$)' = $A^'\cup B^'$ ,without using De Morgan's??

 

[phinds]

you can if you accept a Karnaugh map or a Venn diagram as proof

 

[solakis]

you can if you accept a Karnaugh map or a Venn diagram as proof

no ,i mean an ordinary proof.

 

[phinds]

no ,i mean an ordinary proof.

well, try googling "proof of DeMorgan's Theorem" (or Law as it seems to be called these days)

 

[HallsofIvy]

Just use the basic definitions:

If $x\in \left(A\cap B\right)'$, then x is NOT in$A\cap B$ when means it is either not in A or not in B. If it is not in A then it is in A' and therefore in $A'\cup B'$. If it is not in B then it is in B' and therefore in $A'\cup B'$. Thus, $\left(A\cap B\right)'\subset A'\cup B'$.

The other way: if $x \in A' \cup B'$ it is in either A' or in B'. If it is in A', ...

 

[solakis]

Just use the basic definitions:

If $x\in \left(A\cap B\right)'$, then x is NOT in$A\cap B$ when means it is either not in A or not in B..

That is using De Morgan's. But i asked for a proof without using De Morgans

 

[solakis]

well, try googling "proof of DeMorgan's Theorem" (or Law as it seems to be called these days)

I am afraid i could not find a proof ,apart from one using truth tables

 

[phinds]

I am afraid i could not find a proof ,apart from one using truth tables

And what does that tell you?

 

[rbj]

how is De Morgan's theorem proven? you can restate the proof that uses De Morgan and where you get to the spot where De Morgan is invoked, then proceed with the steps that prove De Morgan but with your specific conditions (or "input") instead of the general A and B case.

 

[HallsofIvy]

Just use the basic definitions:

If $x\in \left(A\cap B\right)'$, then x is NOT in$A\cap B$ when means it is either not in A or not in B. If it is not in A then it is in A' and therefore in $A'\cup B'$. If it is not in B then it is in B' and therefore in $A'\cup B'$. Thus, $\left(A\cap B\right)'\subset A'\cup B'$.

The other way: if $x \in A' \cup B'$ it is in either A' or in B'. If it is in A', ...

That is using De Morgan's. But i asked for a proof without using De Morgans

Then I am confused as to what you mean by "using DeMorgan's". What I gave is how one would prove DeMorgan's laws but did not use DeMorgan's laws.