Considere as seguintes afirmativas em álgebra de Boole:

I. É Teorema de De Morgan \( \overline{(A \cdot B)}= \overline{A} \cdot \overline{B} \)

II. É Teorema de De Morgan \( \overline{(A + B)} = \overline{A} + \overline{B} \)

III. \( A + \overline{A} \cdot B = A + B \)

IV. \( A + A \cdot B = A \)

São verdadeiras as afirmativas: