Translate the following inference to logic notation: David is taking a plane if and only if Robert is bored. If it is windy, then Robert is bored. If David takes a plane, then it is windy. Therefore David is taking a plane if and only if Robert is bored.
p <-> q. r -> q. p -> r. Therefore p <-> q.