Translate the following inference to logic notation: Patricia is not driving a car. If Charles takes a plane, then Patricia is driving a car. If Patricia drives a car, then Charles is taking a plane. It is raining if and only if Charles is taking a plane. Therefore it is not raining.
~p. q -> p. p -> q. r <-> q. Therefore ~r.