Considerando a tabela-verdade precedente, julgue o item subsequente.

A expressão lógica S = B̅D̅ + BCD̅ + AB̅C̅ corresponde à forma mínima, em soma de produtos, associada à tabela-verdade apresentada, considerando-se a minimização pelo menor número total de literais (variáveis complementadas ou não), conforme o critério clássico de simplificação lógica.