Translate the following inference to logic notation: For all x, y_1 is a nurse if and only if y_1 is a cashier. Michael is a nurse or Michael is not a cashier. Therefore Michael is a nurse if and only if Michael is a cashier.
forall x: P(x) <-> Q(x). P(a) or ~Q(a). Therefore P(a) <-> Q(a).