Application de De Morgan

On applique De Morgan sur la somme, puis sur le produit :

$$\overline{ab+\overline{c}}=\overline{ab}\cdot \overline{\overline{c}}=\overline{ab}\cdot c=(\overline{a}+\overline{b})c.$$

On développe si besoin : $(\overline{a}+\overline{b})c=\overline{a}c+\overline{b}c$. Les inversions ne portent plus que sur $a$ et $b$. Vérification sur une ligne : pour $a=b=1$, $c=1$, le membre de gauche vaut $\overline{1+0}=0$ et le membre de droite $0\cdot 1=0$.