Um circuito lógico combinacional tem três entradas —A, B e C —, sendo A o bit mais significativo do número binário sem sinal representado (0 a 7). A saída Y desse circuito deverá ser igual a 1 se, e somente se, o número binário da entrada convertido para número decimal pertencer ao conjunto {0, 1, 4}.

Considerando a situação hipotética precedente, julgue o item que se segue.

Uma forma mínima em soma de produtos, utilizando-se apenas portas AND, OR e NOT para a saída do circuito em questão, é dada pela expressão a seguir.

\( Y = \overline{A}B + \overline{B}C \)