Translate the following inference to logic notation: If it snows, then Jessica is sleeping. Thomas is taking a plane if and only if it is snowing. It is snowing or Jessica is not sleeping. Jessica is not sleeping. Therefore Thomas is not taking a plane.
p -> q. r <-> p. p or ~q. ~q. Therefore ~r.