Translate the following inference to logic notation: It is overcast or Charles is not a carpenter. Charles is a carpenter or it is late. It is overcast if and only if it is late. Therefore it is overcast or Patricia is playing a game.
p or ~q. q or r. p <-> r. Therefore p or s.