Translate the following inference to logic notation: If Linda doesn't drive a car, then Patricia is sleeping. Linda is driving a car if and only if Robert is sad. Robert is not sad. Therefore Patricia is sleeping.
~p -> q. p <-> r. ~r. Therefore q.