Translate the following inference to logic notation: John is working if and only if Linda is happy. If David takes a plane, then John is working. Linda is happy or John is not working. Therefore if David takes a plane, then Linda is happy.
p <-> q. r -> p. q or ~p. Therefore r -> q.