Translate the following inference to logic notation: James is a politician or it is not sunny. Mary is not a police officer or Joseph is playing tennis. Joseph is playing tennis if and only if James is a politician. Mary is a police officer or it is sunny. Therefore James is a politician.
p or ~q. ~r or s. s <-> p. r or q. Therefore p.