Translate the following inference to logic notation: Mary is reading a book. Karen is working or Barbara is an office clerk. For all x, if x_16 works, then x_16 is not an electrician. For all x, x_16 is an electrician. Therefore Barbara is an office clerk and Mary is reading a book.
p. P(a) or q. forall x: P(x) -> ~Q(x). forall x: Q(x). Therefore q and p.