Formule de calcul propozițional. Legile De Morgan

Legile lui De Morgan pentru propoziții:

1. Negația disjuncției este conjuncția negațiilor.

$\overline{p\vee q}\equiv \overline{p}\wedge \overline{q}$

2. Negația conjuncției este disjuncția negațiilor.

$\overline{p\wedge q}\equiv \overline{p}\vee \overline{q}$

Legile lui De Morgan pentru mulțimi:

$A, B\subseteq D$

$$\begin{gathered} \boxed{C_D(A\cup B)=C_{D}A\cap C_{D}B \\ {C}_D(A\cap B)=C_{D}A\cup C_{D}B} \end{gathered}$$