Translate the following inference to logic notation: If it is cloudy, then Barbara is running. If it is sunny, then it is cloudy. It is sunny if and only if Barbara is running. Therefore it is sunny if and only if Barbara is running.
p -> q. r -> p. r <-> q. Therefore r <-> q.