3
$\begingroup$

Logical Equivalences

I have question about Simplifying Statement Forms, this question

$$\lnot(p \lor \lnot q) \lor(\lnot p \land \lnot q) ≡ \lnot p$$

and this my answer $$\begin{align} \lnot(p \lor \lnot q) \lor(\lnot p \land \lnot q) &≡ (\lnot p \land \lnot\lnot q) \lor (\lnot p \land \lnot q)&&\text{De Morgan’s laws}\\ &≡(\lnot p \land q) \lor (\lnot p \land \lnot q)&&\text{Double Negative law}\\ &≡p \land (q \lor \lnot q) &&\text{Distributive laws}\\ &≡p \land t &&\text{Negation laws}\\ &≡p &&\text{Identity laws}\\ \end{align}$$

my answer is correct or not ?

$\endgroup$
2
  • $\begingroup$ There is just a typo when you apply the distributive law: you get $\lnot p \land (q \lor \lnot q)$. You keep $\lnot p$ in the next lines. $\endgroup$ – Taroccoesbrocco Oct 1 '18 at 11:51
  • $\begingroup$ oke thank you're explanation :) $\endgroup$ – Devo Avidianto P Oct 1 '18 at 11:56
2
$\begingroup$

Welcome to MSE! No, its not correct. The third line should be $\neg p \wedge (q\vee \neg q)$.

$\endgroup$
1
  • $\begingroup$ just three line? , oke thank you for you correction $\endgroup$ – Devo Avidianto P Oct 1 '18 at 11:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.