Translate the following inference to logic notation: If it is sunny, then Robert is climbing a mountain. Charles is taking a plane if and only if it is sunny. Charles is taking a plane or Robert is not climbing a mountain. Therefore Charles is taking a plane if and only if Robert is climbing a mountain.
p -> q. r <-> p. r or ~q. Therefore r <-> q.