Os componentes básicos de sistemas digitais são denominados circuitos digitais lógicos, em razão de sua correspondência com as fórmulas da lógica proposicional. São dois os estados dos circuitos: NÍVEL BAIXO (0) ou NÍVEL ALTO (1). A eles correspondem, respectivamente, as proposições ou fórmulas da lógica: FALSA (0) ou VERDADEIRA (1).

Os circuitos podem ser representados por fórmulas, e vice-versa. A interpretação dos circuitos e das fórmulas pode ser descrita por tabelas. Na tabela a seguir, para cada valoração, 0 ou 1, atribuída a P e a Q, é associada uma valoração da saída, S, que é também a valoração da fórmula associada a S.

Com base nas informações apresentadas acima, julgue o item que se segue.

À saída S do circuito abaixo está associada a fórmula