Translate the following inference to logic notation: Charles is a soldier if and only if James is a politician. If James were a politician, then Joseph is driving a car. If Joseph drives a car, then Charles is a soldier. Therefore James is a politician if and only if Charles is a soldier.
p <-> q. q -> r. r -> p. Therefore q <-> p.