Translate the following inference to logic notation: Linda is not sleeping. Robert is a sailor if and only if Jessica is a taxi driver. Robert is a sailor if and only if Linda is sleeping. Therefore Jessica is not a taxi driver or Linda is a lawyer.
~p. q <-> r. q <-> p. Therefore ~r or s.