Translate the following inference to logic notation: It is cloudy or James is bored. It is cloudy if and only if it is snowing. It is not snowing. Therefore James is bored.
p or q. p <-> r. ~r. Therefore q.