Translate the following inference to logic notation: Robert is cooking. Jennifer is an astronaut if and only if Robert is working. Robert is not working. Therefore Jennifer is not an astronaut and Robert is cooking.
p. q <-> r. ~r. Therefore ~q and p.