Translate the following inference to logic notation: Linda is running or Karen is not taking a plane. Karen is taking a plane if and only if Linda is running. Therefore if Karen takes a plane, then Linda is running.
p or ~q. q <-> p. Therefore q -> p.