Logicmedium
0:00.0

Simplify the expression ¬(¬PQ)\neg(\neg P \lor Q) using De Morgan's laws.