Translate the following inference to logic notation: If Barbara were a carpenter, then it is snowing. If John were poor, then Barbara is a carpenter. If it snows, then John is poor. If Barbara were a carpenter, then John is poor. Therefore Barbara is a carpenter if and only if John is poor.
p -> q. r -> p. q -> r. p -> r. Therefore p <-> r.