Logicmedium
0:00.0

Which logical law permits the transformation of ¬(PQ)\neg(P \land Q) into ¬P¬Q\neg P \lor \neg Q?