Translate the following inference to logic notation: If Jessica were a bartender, then it is sunny. If it is sunny, then John is sleeping. Jessica is a bartender or John is not sleeping. Therefore Jessica is a bartender if and only if it is sunny.
p -> q. q -> r. p or ~r. Therefore p <-> q.