Translate the following inference to logic notation: It is overcast or Charles is reading a book. It is cold or it is not overcast. It is cold or Charles is not reading a book. Therefore it is cold.
p or q. r or ~p. r or ~q. Therefore r.