~(p -> ~q) <=> ? 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.