Translate the following inference to logic notation: Linda is bored if and only if Mary is a politician. If Linda were bored, then it is not cloudy. It is cloudy. If Linda takes a plane, then Mary is a politician. Therefore Linda is not taking a plane.
p <-> q. p -> ~r. r. s -> q. Therefore ~s.