Observe os teoremas de Booleanos e teoremas de Morgan na expressão lógica z descrita abaixo.

!$ z = \overline{ ( A + \overline{B} C). ( \overline{D} + EF)} !$

Sobre a fórmula, é correto afirmar que: