Translate the following inference to logic notation: It is not sunny. It is sunny if and only if Elisabeth is taking a plane. Jessica is an electrician. It is cold if and only if Elisabeth is taking a plane. Therefore Jessica is an electrician and it is not cold.
~p. p <-> q. r. s <-> q. Therefore r and ~s.