brorsonyao said:
Hi, yeah I didn't know how to write those signs on the forums..
So, could this expression (Not A and (Not A or/and Not B)) then be simplified to (Not A and Not A) and ( Not A and Not B)? This part is what I don't understand..
That's not quite right. The distributive property for sets works like the distributive property for arithmetic. For numbers x, y, and z, you have
x*(y+z) = (x*y) + (x*z)
and analogously if A, B, and C are sets,
A \cap (B \cup C) = (A \cap B) \cup (A \cap C)
Unlike the arithmetic distributive law, which is false if you interchange the * and + symbols, the set distributive law is true if you switch the \cap and \cup:
A \cup (B \cap C) = (A \cup B) \cap (A \cup C)
So in your case, you can write
\overline{A} \cap (\overline{A} \cup \overline{B}) = (\overline{A} \cap \overline{A}) \cup (\overline{A} \cap \overline{B})
which can be further simplified from here. Hint: first simplify (\overline{A} \cap \overline{A}), then apply the appropriate distributive property.
There's also a quicker way to simplify \overline{A} \cap (\overline{A} \cup \overline{B}) without using the distributive law, if you recognize that (\overline{A} \cap \overline{B}) is a set which contains \overline{A} as a subset. But even if you don't notice this shortcut, you will get the same answer either way.
P.S. If you want to learn how to typeset an equation in these forums, you can click on any equation in anyone's message and a popup window will show you exactly what to type.