Translate the following inference to logic notation: Patricia is happy if and only if it is overcast. William is not a politician or it is raining. It is raining if and only if Patricia is happy. William is a politician or it is overcast. Therefore Patricia is happy.
p <-> q. ~r or s. s <-> p. r or q. Therefore p.