Translate the following inference to logic notation: If Joseph were bored, then Mary is happy. If Mary were happy, then Joseph is bored. If Mary were happy, then Joseph is bored. Therefore Joseph is bored if and only if Mary is happy.
p -> q. q -> p. q -> p. Therefore p <-> q.