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.