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