~(p -> ~q) <=> ?(adsbygoogle = window.adsbygoogle || []).push({});

I am having a heck of a time figuring this out, and I keep basically wanting to distribute the negation symbol to each individual simple statement in the conditional statement arriving at...

~[~(p -> ~q)] <=> ?

~(~p -> q) <=> ?

p -> ~q <=> ~p V ~q <=> ~(p ^ q)

But the book says I should come to p ^ q.

What am I doing wrong here.

**Physics Forums - The Fusion of Science and Community**

# How do I find the equivalent statement to the statement ~(p -> ~q)

Know someone interested in this topic? Share a link to this question via email,
Google+,
Twitter, or
Facebook

- Similar discussions for: How do I find the equivalent statement to the statement ~(p -> ~q)

Loading...

**Physics Forums - The Fusion of Science and Community**