To determine whether the logical expression \((p \land q) \lor (q \leftrightarrow p)\) is a tautology, contradiction, or neither, we need to analyze it using truth tables. A tautology is an expression that is always true regardless of the truth values of its components, while a contradiction is always false.
| \(p\) | \(q\) | \(p \land q\) | \(q \leftrightarrow p\) | \((p \land q) \lor (q \leftrightarrow p)\) |
|---|---|---|---|---|
| T | T | T | T | T |
| T | F | F | F | F |
| F | T | F | F | F |
| F | F | F | T | T |
Let's explain the truth table:
From the table, we observe:
Thus, the expression \((p \land q) \lor (q \leftrightarrow p)\) is neither always true nor always false. Hence, it is neither a tautology nor a contradiction.
Therefore, the correct answer is neither tautology nor contradiction.