Translate the following inference to logic notation: It is sunny if and only if Jessica is an astronaut. Elisabeth is a mechanic if and only if it is sunny. Elisabeth is a mechanic or Jessica is not an astronaut. Therefore it is sunny if and only if Elisabeth is a mechanic.
p <-> q. r <-> p. r or ~q. Therefore p <-> r.