Translate the following inference to logic notation: It is snowing if and only if Sarah is a police officer. It is windy or it is snowing. It is windy if and only if Sarah is a police officer. Therefore Sarah is a police officer.
p <-> q. r or p. r <-> q. Therefore q.