///
A expressão lógica S = \(ar{B}ar{D} + BCar{D} + Aar{B}ar{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.