Translate the following inference to logic notation: If Charles were a bartender, then Susan is drinking water. Susan is drinking water if and only if Charles is a bartender. Therefore Charles is a bartender if and only if Susan is drinking water.
p -> q. q <-> p. Therefore p <-> q.