De Tabelas-Verdade a Lógica Confiável: Dominando Expressões Booleanas para Projeto Digital Seguro

Quando engenheiros projetam sistemas digitais, eles tipicamente começam com uma tabela-verdade que descreve o comportamento lógico desejado.

O desafio está em selecionar a circuitaria apropriada – seja portas lógicas, conjuntos de relés ou controladores programáveis – que implemente fielmente esse comportamento.

Embora designers experientes possam mapear instantaneamente uma tabela-verdade a uma solução de hardware, técnicas sistemáticas existem para todos os engenheiros seguirem.

A álgebra booleana fornece um método claro, passo a passo, que transforma qualquer tabela-verdade em um circuito funcional.

Para ilustrar este processo, vamos considerar um problema realista de engenharia: projetar um sistema de detecção de chama para um incinerador de resíduos tóxicos.

Combustão de alta temperatura é usada para neutralizar resíduos perigosos. Este método é comum para resíduos médicos que podem conter patógenos mortais.

 

 

Enquanto uma chama persistir no incinerador, é seguro injetar resíduos para destruição. Se a chama se extingue, qualquer resíduo restante poderia sair pela exaustão sem neutralização, representando sério risco à saúde.

Nosso sistema, portanto, requer um detector de chama à prova de falhas que permita injeção de resíduos apenas quando uma chama é verificada.

Detecção de chama pode ser alcançada através de sensores ópticos, térmicos ou de condução elétrica – cada um com seus próprios pontos fortes e fracos.

Dado o alto risco, o projeto exige detecção redundante: múltiplos sensores para que uma única falha não possa disparar operação insegura.

Cada sensor fornece um contato normalmente aberto que fecha quando chama é detectada. Esses contatos alimentam as entradas do sistema lógico.

 

 

Nosso objetivo é construir lógica que abra a válvula de resíduos apenas quando os sensores confirmam uma chama.

Primeiro, devemos definir o comportamento lógico. Um único sensor seria suficiente? Não – permitir que a válvula abra se apenas um de três sensores reporte chama derrota a redundância e a segurança.

Em vez disso, exigimos que todos os três sensores concordem antes que a válvula abra. Esta abordagem garante que uma única leitura falsa de "chama" não possa manter a válvula aberta; todos os três precisariam falhar simultaneamente – um cenário altamente improvável.

Consequentemente, a tabela-verdade é simples: a saída é alta apenas quando as entradas A, B e C são todas altas.

 

 

Esta função é prontamente alcançada com uma porta AND de três entradas, que produz alta apenas quando todas as entradas são altas.

 

 

Se relés forem usados, o comportamento AND pode ser replicado ligando os contatos dos sensores em série ou por contatos de relé ligados em série – só então a energia alcançará a válvula quando cada sensor confirmar chama.

 

 

Embora este design maximize a segurança, ele também torna o sistema vulnerável a falhas de "falso-negativo de chama": um sensor que falha em detectar uma chama real fechará a válvula desnecessariamente, desperdiçando combustível e tempo de inatividade.

Idealmente, queremos um sistema lógico que tolere um sensor de falso-negativo mas ainda proteja contra erros de falso-positivo. Uma regra "dois-de-três" satisfaz ambas as necessidades: a válvula abre se pelo menos dois sensores reportarem chama.

Abaixo está a tabela-verdade para essa lógica.

 

 

Usando Soma-de-Produtos

À primeira vista, não é óbvio qual circuito implementará esta tabela-verdade. A forma Soma-de-Produtos (SOP) de expressão booleana resolve isso.

Uma expressão SOP é uma soma de termos de produto – cada produto sendo uma conjunção de variáveis ou seus complementos.

Por exemplo: ABC + BC + DF é um SOP simples onde "ABC", "BC" e "DF" são os termos de produto.

Para gerar um SOP a partir de uma tabela-verdade, liste cada linha onde a saída é alta (1) e escreva um termo de produto que seja igual a 1 para aquelas entradas.

Considere a linha onde A=0, B=1, C=1. O termo de produto é A'BC, que avalia 1 apenas sob essa condição exata.

 

 

As linhas altas restantes produzem mais três termos de produto:

 

 

Combinando-os com OR lógico obtemos a expressão SOP completa para a lógica dois-de-três:

 

 

Uma vez que temos o SOP, projetar o circuito é direto: cada termo de produto mapeia para uma porta AND, e o OR dessas portas produz a saída final.

 

 

Embora corretos, estes circuitos podem ser volumosos. A álgebra booleana nos permite simplificar a expressão dramaticamente.

 

 

Com a expressão simplificada, podemos construir lógica mais enxuta – seja com portas ou relés – preservando a mesma função.

 

 

Qualquer um destes circuitos simplificados controlará confiavelmente a válvula de resíduos do incinerador baseada em confirmação de chama dois-de-três.

Podemos aumentar ainda mais a segurança adicionando lógica que detecta desacordo entre sensores – qualquer condição onde as três entradas não são idênticas.

Quando todos os sensores funcionam corretamente, eles devem ou todos ler baixo (000) ou todos ler alto (111). Qualquer outra combinação (001, 010, 011, 100, 101 ou 110) indica desacordo e falha potencial.

Um alarme disparado por tal desacordo permite que operadores avaliem se continuam a operação ou desligam por segurança.

Para projetar este detector de "desacordo de sensores", expandimos a tabela-verdade com uma coluna de saída extra representando o sinal de alarme.

 

 

Gerar um SOP para esta coluna envolveria seis termos de produto – difícil e propenso a erros.

 

 

Usando Produto-de-Somas

Em vez de somar as linhas altas, podemos construir uma expressão Produto-de-Somas (POS) que captura as linhas baixas, resultando em menos termos.

Uma expressão POS multiplica somas de variáveis (termos OR) juntas. Por exemplo: (A + B)(C + D).

Primeiro, identifique linhas com saída baixa (0) e escreva uma soma que avalie 0 sob aquelas condições de entrada.

Para a primeira linha (A=0, B=0, C=0), o termo de soma é (A + B + C), que é 0 apenas quando todos três são zero.

 

 

Apenas uma outra linha produz saída 0: A=1, B=1, C=1. A soma correspondente é (A' + B' + C').

 

 

A expressão POS completa é o produto dessas duas somas:

 

 

Enquanto um SOP mapeia naturalmente para uma rede de portas AND alimentando uma única porta OR, um POS mapeia para portas OR alimentando uma única porta AND.

 

 

Alternativamente, a implementação com relés de um POS usa contatos em paralelo em série, espelhando a configuração de portas.

 

 

Estes dois circuitos ilustram a lógica de desacordo de sensores sozinha; o sistema completo combina os detectores de "boa chama" e desacordo.

Em uma implementação CLP, a lógica completa pode parecer assim:

 

 

Ambas as formas SOP e POS são ferramentas poderosas para derivar lógica funcional de uma tabela-verdade. Elas permitem projeto determinístico e automatizável – então um computador poderia gerar um circuito lógico personalizado a partir de uma especificação sozinha.

Como o processo de conversão é direto, requer criatividade mínima, permitindo que designers foquem em preocupações de segurança e desempenho de nível superior.

REVISÃO:

• Expressões Soma-de-Produtos (SOP) são construídas listando linhas com saída alta, criando um termo de produto para cada, e somando-os.
• SOP mapeia limpo para uma série de portas AND alimentando uma única porta OR.
• Expressões Produto-de-Somas (POS) são construídas listando linhas com saída baixa, criando um termo de soma para cada, e multiplicando-os.
• POS mapeia para uma série de portas OR alimentando uma única porta AND.

PLANILHAS RELACIONADAS:

• Planilha de Expressões Soma-de-Produtos e Produto-de-Somas
• Planilha de Álgebra Booleana