It does now, I wasn't paying attention to the rule of starting with the statement in parentheses first, the least dominant statement. Is that correct?
BTW, thanks for the help so far.
Thanks for your reply honestrosewater.
Okay if I play that way
~(~p v ~q) <=> ~[~(p ^ q)] <=> p ^ q
Is that the correct process to acquire that answer then. First negate the antecedent and change the conditional to a disjunction. Then does the ~ distribute to both as in my answer above...
~(p -> ~q) <=> ? :confused:
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...