Translate the following inference to logic notation: Jennifer is taking a plane or it is cloudy. It is not raining. It is cloudy if and only if it is raining. Therefore Jennifer is taking a plane.
p or q. ~r. q <-> r. Therefore p.