De Morgan's laws (source code)

= De Morgan's laws
{c}
{wiki}

De Morgan's laws state
$$
\neg(P\wedge Q)=(\neg P)\vee(\neg Q),
\qquad
\neg(P\vee Q)=(\neg P)\wedge(\neg Q).
$$