Translate the following inference to logic notation: John is excited or it is not cloudy. It is cloudy or John is not excited. Therefore if it is cloudy, then John is excited.
p or ~q. q or ~p. Therefore q -> p.