Baixe Formas Canônicas e outras Notas de estudo em PDF para Engenharia Elétrica, somente na Docsity!
Prof. Dr. Antonio Carlos Schneider Beck Filho (UFSM) Prof. Dr. Júlio Carlos Balzano de Mattos (UFPel)
NOTAS DE AULA
Formas Canônicas
As funções booleanas podem ser escritas de diversas formas. Todavia, algumas formas são mais convenientes para o propósito de simplificação e implementação de um circuito com portas lógicas.
A utilização de formas canônicas é uma destas opções. A partir da tabela verdade é possível chegar à expressão que representa o comportamento do circuito lógico.
Existem duas formas canônicas de nosso interesse: Soma de Produtos Produto das Somas
Soma dos Produtos Consiste em regras para representar as condições de entrada que produzirão a saída 1 (e portanto as demais condições produzirão saída 0).
Produto das Somas Consiste em Regras para representar as condições de entrada que produzirão a saída 0 (e portanto as demais condições produzirão saída 1).
Minitermos e Maxitermos
Uma expressão algébrica que representa uma linha da tabela verdade pode ser posta na forma de minitermos ou maxitermos.
Minitermos – É o produto lógico de todas as variáveis que aparecem na tabela verdade que resulta no valor lógico 1. (termos somente com AND)
Maxitermos – É a soma lógica das variáveis que representa aquela linha, resultando no valor 0.
(termos somente com OR)
A tabela abaixo mostra os minitermos e maxitermos para uma tabela verdade com três variáveis de entrada:
x y^ z Minitermo Símbolo minitermo
Maxitermo Símbolo Maxitermo 0 0 0 x^.^ y. z m 0 x^ ^ y z M 0 0 0 1 x^.^ y. z m 1 x^ ^ y z M 1 0 1 0 x^.^ y. z m 2 x^ ^ y z M 2 0 1 1 x^.^ y. z m 3 x^ ^ y z M 3 1 0 0 x^.^ y. z m (^) 4 x^ ^ y z M 4 1 0 1 x^.^ y. z m 5 x^ ^ y z M 5 1 1 0 x^.^ y. z m 6 x^ ^ y z M 6 1 1 1 x^.^ y. z m 7 x^ ^ y z M 7
Minitermo Quando a variável for 1, mantenha. Quando a variável for 0, complemente-a (negar)
Maxitermo Quando a variável for 0, mantenha. Quando a variável for 1, complemente-a (negar)
Produto de Somas
A outra forma canônica de representar expressões booleanas é através de produto de somas. O produto de somas é obtido a partir da tabela verdade, usando os maxitermos (linhas que têm valor de saída igual a 0). Os maxitermos devem ser combinados pela operação lógica AND.
Exemplo:
A B C S
Pode ser representada por produto de somas:
S ( A B C ).( A B C ).( A B C ).( A B C )
Notação simplificada:
F (^) M ( 1 , 2 , 5 , 7 )
F ( A , B , C ) (^) M ( 1 , 2 , 5 , 7 )
É importante ressaltar que o mesmo comportamento (a mesma tabela verdade) pode ser igualmente representada por qualquer uma das formas canônicas.
Para a tabela verdade anterior, se obtem as seguintes expressões:
S A. B. C A. B. C A. B. C A. B. C
S ( A B C ).( A B C ).( A B C ).( A B C )
Se ambas as formas canônicas produzem expressões equivalentes, como escolher qual a representação utilizar?
Escolha a que resultar em menor número de termos, produzindo uma expressão mais simples.
Por esse método, pode-se encontrar a expressão que represente qualquer tabela verdade.
