Translate the following inference to logic notation: Jennifer is making tea or Jennifer is not sleeping. For all x, if x_10 makes tea, then x_10 is sleeping. Therefore Jennifer is sleeping if and only if Jennifer is making tea.
P(a) or ~Q(a). forall x: P(x) -> Q(x). Therefore Q(a) <-> P(a).