Translate the following inference to logic notation: Jennifer is playing tennis or James is not running. Jennifer is playing tennis if and only if James is running. Therefore Jennifer is playing tennis if and only if James is running.
p or ~q. p <-> q. Therefore p <-> q.