Translate the following inference to logic notation: John is running if and only if Barbara is a server. Barbara is not a server. William is rich if and only if John is running. Therefore William is not rich or Elisabeth is an astronaut.
p <-> q. ~q. r <-> p. Therefore ~r or s.