Translate the following inference to logic notation: William is cooking. Elisabeth is driving a car if and only if William is cooking. Therefore Elisabeth is driving a car or Patricia is playing a game.
p. q <-> p. Therefore q or r.