Translate the following inference to logic notation: Susan is taking a plane or Richard is not climbing a mountain. Richard is climbing a mountain or Susan is not taking a plane. Therefore Susan is taking a plane if and only if Richard is climbing a mountain.
p or ~q. q or ~p. Therefore p <-> q.