Translate the following inference to logic notation: It is raining if and only if Karen is a sailor. It is not raining. It is overcast if and only if Patricia is cooking. It is not overcast. Therefore Patricia is not cooking and Karen is not a sailor.
p <-> q. ~p. r <-> s. ~r. Therefore ~s and ~q.