Translate the following inference to logic notation: Charles is fast or Elisabeth is not taking a plane. Elisabeth is taking a plane or Charles is not fast. Therefore if Elisabeth takes a plane, then Charles is fast.
p or ~q. q or ~p. Therefore q -> p.