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