Translate the following inference to logic notation: It is cold or Elisabeth is not bored. Elisabeth is bored if and only if it is cold. If it is cold, then Elisabeth is bored. Therefore it is cold if and only if Elisabeth is bored.
p or ~q. q <-> p. p -> q. Therefore p <-> q.