Translate the following inference to logic notation: Jessica is driving a car. It is snowing if and only if Charles is curious. Charles is not curious. Therefore it is not snowing and Jessica is driving a car.
p. q <-> r. ~r. Therefore ~q and p.