Write the negation of the logical expression . Simplify it to the point where the negation symbol appears only in front of the variables and , do not leave the negation symbol in front of a parenthetical clause.
Is the answer ?
Write the negation of the logical expression . Simplify it to the point where the negation symbol appears only in front of the variables and , do not leave the negation symbol in front of a parenthetical clause.
Is the answer ?
Alright, I'll try to walk you though this:
¬ [(p -> ¬q) ^ (p v q)]
because of ¬(p^q)=¬p v ¬q we get
¬ (p -> ¬q) v ¬(p v q)
because of ¬(p->q)=p^¬q we get
(p ^ ¬¬q) ^ ¬(p v q)
because of ¬(p v q)=¬p^¬q we get
(p ^ ¬¬q) ^ (¬p ^ ¬q)
From there we just simplify and get:
(p ^ q) ^ (¬p ^ ¬q)
Hope that helps!