I have two compound propositions:
- $(A \land B)$
- $\neg (A \rightarrow \neg B)$
I know they are equivalent, because I made their truth tables, however I'm still running into a problem when I use logical equivalences.
I tried applying the Implication Law to number 2 and obtained: $\neg ((\neg A) \lor (B))$ Then I applied De Morgans law and obtained: $(A \land (\neg B))$
Clearly those two compound proposition are not equivalent. Am I doing something wrong?