Translate the following inference to logic notation: Jennifer is a nurse if and only if Elisabeth is cooking. If Linda were a janitor, then Mary is driving a car. Jennifer is a nurse if and only if Linda is a janitor. If Elisabeth cooks, then Jennifer is a nurse. Mary is not driving a car. Therefore Elisabeth is not cooking.
p <-> q. r -> s. p <-> r. q -> p. ~s. Therefore ~q.