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