Translate the following inference to logic notation: If it is cloudy, then it is overcast. If Linda were an office clerk, then Patricia is excited. If Patricia were excited, then it is cloudy. If it is overcast, then Linda is an office clerk. Therefore Linda is an office clerk if and only if Patricia is excited.
p -> q. r -> s. s -> p. q -> r. Therefore r <-> s.