Question 202733
The operator between p and ~q is not showing in my browser. So I am going to use "@" for the operator in the problem and "$" for the complementary operator. For example, if your operator is set union then "@" stands for this and "$" stands for set intersection.<br>
According to DeMorgan's law
~(p @ ~q) = ~p $ ~~q = ~p $ q