Translate the following inference to logic notation: It is sunny if and only if Barbara is working. If Barbara cooks, then Barbara is working. If Richard sleeps, then Barbara is cooking. If it is sunny, then Richard is sleeping. Therefore Barbara is cooking if and only if it is sunny.
p <-> q. r -> q. s -> r. p -> s. Therefore r <-> p.