Translate the following inference to logic notation: Patricia is happy if and only if Charles is sleeping. If David were a taxi driver, then Charles is sleeping. If Patricia were a musician, then Charles is not sleeping. David is a taxi driver or Patricia is happy. Therefore Patricia is not a musician.
p <-> q. r -> q. s -> ~q. r or p. Therefore ~s.