Associe as proposições da lógica sentencial na coluna da...

Associe as proposições da lógica sentencial na coluna da direita, onde P e Q são predicados atômicos, às explicações na coluna da esquerda.

I - A proposição não está em nenhuma forma normal.

II - A proposição está na forma normal disjuntiva.

III - A proposição está na forma normal conjuntiva.

W - ¬(P ∨ ¬ Q) ∧ (P ∨ ¬ Q)

X - (P∧ ¬ Q) ∨ (¬ P ∧ Q)

Y - (P ∨ Q) ∧ (¬ P ∨ Q)

Z - ¬(P ∧ Q) ∨ (P ∧ ¬ Q)

As associações corretas são: