My book says that $\lnot(P ∨ ((\lnot P) ∧ Q)) ≡ ((\lnot P) ∧ P) ∨ ((\lnot P) ∨ (\lnot Q))$
However, when I follow the Distributive law for $(\lnot P) ∧ (P ∨ (\lnot Q))$ I get
$((\lnot P) ∧ P) ∨ ((\lnot P) ∧ (\lnot Q)) ≢ ((\lnot P) ∧ P) ∨ ((\lnot P) ∨ (\lnot Q))$
Is the book wrong? Or am I missing something?
The book is called Discrete Mathematics by Gary Chartrand and Ping Zhang 2011
Question is #21 in Supplementary Exercises for Chapter 1
NO; the book has:
First apply Distributivity:
Then De Morgan.