Translate the following inference to logic notation: Barbara is a lawyer or it is not snowing. Barbara is a lawyer if and only if it is snowing. Therefore Barbara is a lawyer if and only if it is snowing.
p or ~q. p <-> q. Therefore p <-> q.