Translate the following inference to logic notation: It is cloudy or it is sunny. Charles is not sad. It is cloudy if and only if Charles is sad. Therefore it is overcast or it is sunny.
p or q. ~r. p <-> r. Therefore s or q.