Um recurso que facilita a manipulação de fórmulas na lógica proposicional é a utilização de equivalências notáveis. Desse modo, correlacione a COLUNA I com a COLUNA II, identificando as devidas correspondências equivalentes.

COLUNA I

i. \( P \rightarrow Q \)

ii. \( \neg (P \wedge Q) \)

iii. \( ((P \wedge Q) \rightarrow R) \)

iv. \( \neg \neg P \)

COLUNA II

v. P

vi. \( (\neg P \vee Q) \)

vii. \( (\neg P \vee \neg Q) \)

viii. \( (P \rightarrow (Q \rightarrow R)) \)

Assinale a opção que apresenta CORRETAMENTE a correspondência entre as colunas.