Translate the following inference to logic notation: It is late if and only if Charles is a mechanic. If it is late, then Charles is a mechanic. If it is cloudy, then it is late. Charles is a mechanic or it is cloudy. Therefore it is late.
p <-> q. p -> q. r -> p. q or r. Therefore p.