1.
The expression ¬(¬pq)\neg(\neg p \rightarrow q) is logically equivalent to