Translate the following inference to logic notation: Mary is taking a plane or Barbara is not drinking water. Barbara is drinking water if and only if Mary is taking a plane. Therefore Barbara is drinking water if and only if Mary is taking a plane.
p or ~q. q <-> p. Therefore q <-> p.