The proposition (p→q)∧(¬q∨p) is equivalent to:

To determine the equivalent proposition, we analyze the given expression: (p→q)∧(¬q∨p). First, recall the implication law: A →B is logically equivalent to ¬A∨B. Applying this to the second part of our expression, ¬q∨p is equivalent to q → p. Substituting this back into the original expression, we get (q → p) ∧ (p → q).