Translate the following inference to logic notation: Robert is not writing a letter. Robert is writing a letter if and only if Patricia is cooking. Therefore Patricia is not cooking or Karen is working.
~p. p <-> q. Therefore ~q or r.