In Kleene's Strong 3-valued logic ($K_3$), the set of truth values is $\{0, \frac{1}{2}, 1\}$. The operations are defined as:

• $v(A \land B) = \min(v(A), v(B))$
• $v(\neg A) = 1 - v(A)$$
• $v(A \to B) = \max(1 - v(A), v(B))$ A formula is a tautology in $K_3$ if and only if it evaluates to $1$ for all possible valuations. Which of the following classical tautologies is also a tautology in $K_3$?