Translate the following inference to logic notation: It is overcast or William is not taking a plane. William is taking a plane or it is not overcast. Therefore if it is overcast, then William is taking a plane.
p or ~q. q or ~p. Therefore p -> q.