O 1º Teorema de De Morgan afirma que a negação de uma conjunção é equivalente à disjunção das negações. Em termos lógicos, isso é expresso como: \[ \overline{A \cdot B} = \bar{A} + \bar{B} \] Agora, vamos analisar as alternativas: A) \(\overline{A+B}=A \cdot \bar{B}\) - Esta não é a forma correta do teorema. B) \(\overline{A \cdot B}=\bar{A}+\bar{B}\) - Esta é a forma correta do 1º Teorema de De Morgan. C) A+B=\(\bar{A} \cdot B\) - Esta não é uma expressão correta relacionada ao teorema. D) \(\overline{A \cdot B}=A+\bar{B}\) - Esta também não é a forma correta do teorema. E) \(\overline{A+B}=\bar{A}+B\) - Esta não é a forma correta do teorema. Portanto, a alternativa correta é: B) \(\overline{A \cdot B}=\bar{A}+\bar{B}\).