Translate the following inference to logic notation: Charles is climbing a mountain if and only if Charles is cooking. Charles is not climbing a mountain. Linda is driving a car if and only if Charles is not cooking. Therefore Linda is driving a car.
p <-> q. ~p. r <-> ~q. Therefore r.