Translate the following inference to logic notation: Thomas is taking a plane if and only if it is late. Thomas is taking a plane or it is not cold. If it is late, then it is cold. Therefore Thomas is taking a plane if and only if it is cold.
p <-> q. p or ~r. q -> r. Therefore p <-> r.