This isn't geometry; it is logic.
P^Q means P and Q need to both be true rather than
P V Q which means only one needs to be true.
P V Q = P is true OR Q is true.
If you make a truth table, you will see that P is false and Q is true, even though it has nothing to do with the negatives. Instead, it matters on the equations that form them.
~(P^~q)
The answer/equation would be false.
However, if it was
~P => Q
or
~P Implies Q
then it would be indeed true.