Translate the following inference to logic notation: For all x, x_17 is not a cashier. For all x, x_17 is a cashier if and only if x_17 is a janitor. If it is sunny, then Joseph is a janitor. Therefore it is not sunny or Linda is rich.
forall x: ~P(x). forall x: P(x) <-> Q(x). p -> Q(a). Therefore ~p or q.