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