Translate the following inference to logic notation: Jessica is not playing tennis. Mary is an electrician or it is cloudy. Mary is not an electrician. Jessica is playing tennis if and only if it is snowing. Therefore it is not snowing and it is cloudy.
~p. q or r. ~q. p <-> s. Therefore ~s and r.