Skip to main content
adicionou 1585 caracteres ao conteúdo
Fonte Link

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:

  1. se !y e z -> entra na c3, não importa o valor de x, pois a condição não pede isso
  2. Se !y e x -> entra na c2, não importa o valor de x, pois a condição não pede isso
  3. Se !y e !x e !y -> entra na c1 se y ou x = true, entra numa das opções anteriores.
  4. 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.

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.

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:

  1. se !y e z -> entra na c3, não importa o valor de x, pois a condição não pede isso
  2. Se !y e x -> entra na c2, não importa o valor de x, pois a condição não pede isso
  3. Se !y e !x e !y -> entra na c1 se y ou x = true, entra numa das opções anteriores.
  4. 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.

adicionou 87 caracteres ao conteúdo
Fonte Link

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.

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'.

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.

Fonte Link

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'.