Translate the following inference to logic notation: It is windy or Barbara is not a scientist. Barbara is a scientist or Patricia is not listening to a song. If it is windy, then Patricia is listening to a song. Therefore Patricia is listening to a song if and only if Barbara is a scientist.
p or ~q. q or ~r. p -> r. Therefore r <-> q.