Translate the following inference to logic notation: For all x, x_19 will not play a game. John is playing a game if and only if it is overcast. David is not making tea or Patricia is an artist. David is making tea or it is overcast. Therefore Patricia is an artist or Joseph is a politician.
forall x: ~P(x). P(a) <-> p. ~q or r. q or p. Therefore r or s.