1.
Consider the following two propositions:
P1:¬(p∧q)P_1: \neg(p \wedge q)
P2:(p∧q)↔((¬p)∨q)P_2: (p \wedge q) \leftrightarrow ((\neg p) \vee q)

If the proposition p→((¬p)∨q)p \rightarrow ((\neg p) \vee q) is evaluated as FALSE, then: