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