Translate the following inference to logic notation: Linda is a taxi driver if and only if it is raining. If Barbara works, then Linda is a taxi driver. Barbara is working. Therefore Linda is a taxi driver.
p <-> q. r -> p. r. Therefore p.