Translate the following inference to logic notation: If it is sunny, then Sarah is cooking. If it is windy, then Sarah is cooking. If it is sunny, then it is windy. If Sarah cooks, then it is sunny. Therefore it is windy if and only if it is sunny.
p -> q. r -> q. p -> r. q -> p. Therefore r <-> p.