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