Translate the following inference to logic notation: David is listening to a song if and only if Michael is a mechanic. If Charles were bored, then David is listening to a song. Charles is bored. Therefore David is listening to a song.
p <-> q. r -> p. r. Therefore p.