p: Sou amiga de Abel
q: sou amiga de Oscar
r: Sou amiga de Nara
s: Sou amiga de Clara
Montando a expressão, temos:
(p v q)^(r v ~p)^(s v ~q)^(~s)
Vemos que "~s" deve ser verdadeiro, portanto "s" falso. assim,
(p v q)^(r v ~p)^(F v ~q)^(V)
Agora, vemos que "~q" deve ser verdadeiro para que (F v ~q) seja verdadeiro. Com isso, "q" deve ser falso. Assim,
(p v F)^(r v ~p)^(F v V)^(V)
Aqui, "p" deve ser verdadeiro para que (p v F) seja verdadeiro. Assim,
(V v F)^(r v F)^(F v V)^(V)
Por fim, "r" deve ser verdadeiro para que (r v F) seja verdadeiro. Concluímos, então, que "p" e "r" são verdadeiros e "q" e "s" são falsos, ou seja, sou amiga de Abel, não sou amiga de Oscar, sou amiga de Nara e não sou amiga de Clara.
