A figura abaixo representa um circuito digital formado por portas lógicas da família TTL.

Fonte: FUNCERN, 2015.
Sabendo que esse circuito implementa uma função lógica entre as entradas A, B, C e D, cujo resultado é apresentado na saída S, é correto afirmar: