Translate the following inference to logic notation: Charles is cooking or it is windy. Charles is cooking if and only if it is cold. It is windy if and only if it is cold. Therefore it is cold or it is overcast.
p or q. p <-> r. q <-> r. Therefore r or s.