Translate the following inference to logic notation: David is a police officer. Jessica is a mechanic if and only if Richard is driving a car. David is a police officer if and only if Richard is driving a car. Therefore Richard is driving a car.
p. q <-> r. p <-> r. Therefore r.