Responderia c) ~y.
Vamos chamar com o 'til' de negativo e sem positivo, pra facilitar o entendimento.
Se observar, se o y for negativo (~y) vai satisfazer em pelo menos uma das outras proposições, independente da 'polaridade' do 'x' e 'z'.
Ou seja, se ~y, não importa o restante pois atenderá uma das 3, logo é equivalente.
EDIT
Explicando melhor. a pergunta se refere a equivalencia, ou seja, qual condição faz exatamente a mesma coisa que a outra.
Na questão (~x Ʌ ~y Ʌ ~z) V (x Ʌ ~y) V (z Ʌ ~y
), trazendo para a programação seria :
var x, y, z :bool; //vamos pensar em true como natural e false como ~(inevrsão)
Se assumirmos !y (~y) a expressão abaixo será exatamente a mesma coisa, melhor falando, ela só vai entrar no if exatamente na mesma condição (se y for verdadeiro, não entra, pois na função abaixo tbm não vai entrar)
// c1 c2 c3
if((!x && !y && !z) || (x && !y) || (z && !y)) {
//faça alguma coisa
}
Logo:
- se
!y e z
-> entra na c3, não importa o valor de x, pois a condição não pede isso
- Se
!y e x
-> entra na c2, não importa o valor de x, pois a condição não pede isso
- Se
!y e !x e !y
-> entra na c1 se y
ou x = true
, entra numa das opções anteriores.
- se
y
-> independe do x ou z
, pois nenhuma condição atende este valor cairia no else
.
Portanto, se olharmos acima, se !y não importa o valor dos outros 2, a expressão, será verdadeira, assim como, se y, a expressão será falsa, independe do x ou y.
Conclusão:
if(!y)
tem o mesmo resultado que if((!x && !y && !z) || (x && !y) || (z && !y))
, logo c) ~y
, pois (~y)
terá o mesmo resultado que ( (~x Ʌ ~y Ʌ ~z) V (x Ʌ ~y) V (z Ʌ ~y))
equivale.
Y
positivo, altera se atende ou não a condição, mas a pergunta é uma condição que equivalha a outra, e o y
não existe neste contexto.