Translate the following inference to logic notation: Linda is drinking water or Elisabeth is listening to a song. Linda is drinking water if and only if Robert is happy. Robert is happy if and only if Elisabeth is listening to a song. Therefore Robert is happy.
p or q. p <-> r. r <-> q. Therefore r.