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