Question

Cinco amigos têm acesso a uma sala de bate papo. É possível determinar quem

está conversando se a seguinte informação é conhecida? Kevin ou Heather, ou

ambos, estão conversando. Ou Randy ou Vijay, mas não ambos, estão

conversando. Se Abby está conversando, então é Randy. Vijay e Kevin estão

ambos conversando ou nenhum está. Se Heather está conversando, então

também estão Abby e Kevin.

Para solucionar esse problema, modele o problema como um conjunto de

fórmulas onde cada variável lógica representando a relação de conversa entre

duas pessoas, e depois determine o a interpretação que satisfaz o conjunto.

Answer 1

Resposta:

Explicação:

Kevin ou Heather, ou

ambos, estão conversando. Ou Randy ou Vijay, mas não ambos, estão

conversando. Se Abby está conversando, então é Randy. Vijay e Kevin estão

ambos conversando ou nenhum está. Se Heather está conversando, então

também estão Abby e Kevin.

Para solucionar esse problema, modele o problema como um conjunto de

fórmulas onde cada variável lógica representando a relação de conversa entre

duas pessoas, e depois determine o a interpretação que satisfaz o conjunto.