Logicmedium
0:00.0

Which of the following correctly simplifies the expression ¬(¬PQ)\neg(\neg P \land Q)?