Translate the following inference to logic notation: William is running if and only if Charles is cooking. William is running if and only if it is raining. It is not raining. Therefore Charles is not cooking.
p <-> q. p <-> r. ~r. Therefore ~q.