Translate the following inference to logic notation: It is cloudy or Jennifer is not driving a car. If it is cloudy, then it is raining. If it rains, then Jennifer is driving a car. Therefore Jennifer is driving a car if and only if it is raining.
p or ~q. p -> r. r -> q. Therefore q <-> r.