Translate the following inference to logic notation: Barbara is a carpenter if and only if David is a janitor. It is overcast if and only if David is a janitor. Barbara is not a carpenter. If it is not overcast, then Richard is taking a plane. Therefore Richard is taking a plane.
p <-> q. r <-> q. ~p. ~r -> s. Therefore s.