Translate the following inference to logic notation: Patricia is not a carpenter. Elisabeth is a cashier if and only if Jennifer is cooking. Elisabeth is a cashier if and only if Patricia is a carpenter. Therefore Jennifer is not cooking or Jennifer is fast.
~p. q <-> r. q <-> p. Therefore ~r or s.