Translate the following inference to logic notation: Joseph is taking a plane if and only if it is cloudy. If it is cloudy, then it is sunny. If it is sunny, then Joseph is taking a plane. Therefore Joseph is taking a plane if and only if it is cloudy.
p <-> q. q -> r. r -> p. Therefore p <-> q.