Translate the following inference to logic notation: It is late or David is sleeping. It is not late. Michael is climbing a mountain if and only if it is windy. Michael is not climbing a mountain. Therefore David is sleeping and it is not windy.
p or q. ~p. r <-> s. ~r. Therefore q and ~s.