Translate the following inference to logic notation: It is overcast. Elisabeth is writing a letter or John is driving a car. David is not a doctor. David is a doctor if and only if Elisabeth is writing a letter. Therefore John is driving a car and it is overcast.
p. q or r. ~s. s <-> q. Therefore r and p.