É necessário que Beatriz durma para que Sérgio fique feliz. Quando Beatriz dorme, então Romério faz uma visita. É necessário e suficiente que Romério faça uma visita para que Amélia descanse. Logo, quando Sérgio fica feliz, então
Amélia descansa e Beatriz dorme.
Amélia não descansa ou Beatriz não dorme.
Beatriz não dorme e Romério faz uma visita.
Beatriz não dorme e Romério não faz uma visita.
{TITLE}
{CONTENT}
{TITLE}
Aguarde, enviando solicitação...