///
Conforme o primeiro teorema de De Morgan, o complemento do produto de duas variáveis é igual à soma dos complementos das variáveis individuais; em termos de portas, ele pode ser expresso por \(\overline{A \cdot B} = \overline{A} + \overline{B}\).