Which of the following is logically equivalent to the statement 'It is not the case that both $P$ and $Q$ are true'?