Translate the following inference to logic notation: Jessica is poor or Mary is not climbing a mountain. If Jessica were poor, then Mary is climbing a mountain. If Mary climbs a mountain, then Jessica is poor. Therefore Mary is climbing a mountain if and only if Jessica is poor.
p or ~q. p -> q. q -> p. Therefore q <-> p.