Translate the following inference to logic notation: Joseph is driving a car if and only if Richard is an electrician. If Sarah were an artist, then Joseph is driving a car. If Thomas works, then Joseph is driving a car. Thomas is working or Sarah is an artist. Therefore Richard is an electrician.
p <-> q. r -> p. s -> p. s or r. Therefore q.