Question

Show that -(P/\Q)/\Q is <=> -P/\Q

Answer 1

Here is the problem written better, could not figure how to write on here
¬(P∧Q)∧Q <==> ¬P∧Q

Answer 2

Step 1.
(¬P∨¬Q)∧Q <==> ¬P∧Q --- Demorgans Law

Answer 3

Step 2.
(¬P∧Q)∨(¬Q∧Q) <==>¬P∧Q ---- Distribute

Answer 4

Step3.
(¬P∧Q)∨ False <==> ¬P∧Q --- inverse

Answer 5

And here is where I am lost to prove
(¬P∧Q)∨ False <==> ¬P∧Q

Answer 6

Found it
Distribute Identity
¬P∨ False = ¬P
Q∨ False = Q

so ¬P∧Q