Translate the following inference to logic notation: If it is windy, then it is overcast. It is not overcast. It is windy or it is not overcast. Therefore it is not windy.
p -> q. ~q. p or ~q. Therefore ~p.