Translate the following inference to logic notation: It is cold if and only if Mary is driving a car. It is cold or Mary is not driving a car. Therefore it is cold if and only if Mary is driving a car.
p <-> q. p or ~q. Therefore p <-> q.