Translate the following inference to logic notation: It is not raining. It is raining or Thomas is cooking. James is not a lawyer. It is late if and only if James is a lawyer. Therefore it is not late and Thomas is cooking.
~p. p or q. ~r. s <-> r. Therefore ~s and q.