Considerando que x, y e z sejam proposições simples e ~x, ~y e ~z, respectivamente, as suas negações.

Considerando que x, y e z sejam proposições simples e ~x, ~y e ~z, respectivamente, as suas negações, a proposição composta de (~x Ʌ~y Ʌ ~z) V (x Ʌ ~y) V (z Ʌ ~y) é equivalente à:

R: ~y, correto?