Logicmedium
0:00.0

Which logical law states that ¬(PQ)¬P¬Q\neg(P \lor Q) \equiv \neg P \land \neg Q?