Translate the following inference to logic notation: It is cold if and only if it is snowing. Linda is making tea or it is cold. Linda is not making tea or it is sunny. It is snowing or it is not sunny. Therefore it is snowing.
p <-> q. r or p. ~r or s. q or ~s. Therefore q.