~P: Maria não está na Itália.
~P ∧ Q: Maria não está na Itália e Jorge
*é* espanhol.
~(~P ∧ Q) = P ou ~Q = Maria está na Itália ou Jorge não é espanhol.
~R: Luiza está na Itália.
(~(~P ∧ Q) ∧ ~R) = ((P ou ~Q) ∧ ~R) = ((Maria está na Itália ou Jorge
não é espanhol) e (Luiza está na Itália)) = Luiza está na Itália e ou
Maria está na Itália ou Jorge não é espanhol.