Circuitos Digitais I

Mintermos e Maxtermos

Funes Lgicas
Expressam um conjunto relacionado de condies atravs de:
variveis lgicas operadores lgicos

Podem possuir uma ou mais variveis lgicas. Podem ser simplificadas utilizando as identidades e teoremas da lgebra boleana.

Funes Lgicas: Formas Padro

Funes lgicas podem ser padronizadas a duas formas padro:
forma padro de soma de produtos expresso uma soma (OR) de produtos (AND) de variveis e variveis complementadas forma padro de produto de somas expresso um produto (AND) de somas (OR) de variveis e variveis complementadas

Forma Padro: soma de produtos

As funes abaixo esto em sua forma cannica SDP:
F = A.B.C + A'.B.C + A.B'.C + A.B.C' G = A'.B'.C' + A'.B.C' + A.B'.C'

A funo abaixo no est em sua forma cannica

F = A.B + A'.C + B.C'

Forma Padro: produto de somas

A funo abaixo esto em sua forma cannica PDS:
F(x,y) = (x'+Y).(x+y')

A funo abaixo no est em sua forma cannica PDS

F(x,y) = x . (x+y')

Estratgia similar a SDP para formatar uma funo qualquer e obter a sua forma cannica.

Forma Padro: soma de produtos

Dadas as funes lgicas, as mesmas podem ser reduzidas para: f(A,B,C,D) = (A + BC)(B + CD) = AB + ACD + BC f(A,B,C,D,E) = (A + (BC))(D+BE) = ABD + ADE + BD + BDE + BCD + CDE

Forma Padro: produto de somas

Dadas as funes lgicas, as mesmas poder ser reduzidas para: f(A,B,C,D) = (A + BC)(B + CD) = (A+B)(A+C)(B+C)(B+D) f(A,B,C,D,E) = (A + (BC))(D+BE) = (A+B+C)(B+D)(D)(B+E)(D+E)

Mintermos e Maxtermos
Os conceitos de Mintermos e Maxtermos so utilizados para reescrever-se uma funo lgica em uma forma padronizada no sentido de obter-se uma simplificao da mesma. Esta padronizao serve como base, por exemplo, na utilizao de Arranjos e PLAs.

Mintermos e Maxtermos
Na soma padro de produtos, cada termo correspondente a um produto denominado mintermo. Analogamente, no produto padro de somas, cada termo correspondente a uma soma denominado de maxtermo. Embora as formas padres no sejam as formas mais simplificadas (e por vezes mais complexas que as formas originais) se prestam a sistematizao da simplificao.

Mintermos e Maxtermos
Cada mintermo ou maxtermo se associa a uma possibilidade de entrada de uma funo lgica. Por exemplo Y=f(A,B)=(A.B)
Mintermo Maxtermo A'.B' A'.B A.B' A.B A+B A+B' A'+B A'+B' A 0 0 1 1 B 0 1 0 1 Y 1 1 1 0

Mintermos e Maxtermos
A partir da tabela verdade possvel se escrever a funo lgica:
tomando-se os mintermos correspondentes a 1
Y = A.B + A.B + A.B

tomando-se os maxtermos correspondentes a 0

Y = A+B

Mintermo Maxtermo A'.B' A'.B A.B' A.B A+B A+B' A'+B A'+B'

A 0 0 1 1

B 0 1 0 1

Y 1 1 1 0

Mintermos e Maxtermos
Numerando as entradas da tabela verdade possvel se identificar os mintermos e maxtermos genericamente:
mintermos: maxtermos: 0 equivale varivel complementada 1 equivale varivel 0 equivale varivel 1 equivale varivel complementada A.B A+B

Assim a entrada 0, que equivale a A=0 e B=0:

mintermo: maxtermo:

Exemplo
1

No Exemplo 1:
A omisso do ponto, ., indica uma conjuno lgica (isto : A.B=AB). Note que aps a manipulao algbrica, a funo escrita na forma de uma Soma Padro de Produtos (Mintermos), onde cada termo possui todas as variveis (A,B,C) complementadas ou no.

Exemplo
1

No Exemplo 2:
Note que aps a manipulao algbrica, a funo escrita na forma de uma Produto Padro de Somas (Maxtermos), onde cada termo possui todas as variveis (A,B,C) complementadas ou no.

Notas

1. 2. 3.

Mantenha a disposio das combinaes dos valores lgicos das variveis, comeando com 000 e, em seguida, 001, 010, etc., como mostrado acima. Enumere as linhas da tabela-verdade comeando com a Linha 0. Para mintermos
Escreva o produto das variveis, complementando-as, sempre que seu valor lgico seja 0 na linha correspondente (Exemplo: Linha 2 - 010 - A'BC'). Considere apenas as linhas onde o valor lgico da funo seja 1.

4.

Para maxtermos
Escreva a soma das variveis, complementando-as, sempre que seu valor lgico seja 1 na linha correspondente (Exemplo: Linha 5 - 101 - A' + B + C'). Considere apenas as linhas onde o valor lgico da funo seja 0.

Mintermos

Para escrever a funo f(A,B,C) na forma de Mintermos, faa a soma ponderada dos Mintermos, onde o peso o valor correspondente na coluna da fuo, f(A,B,C) = 1.(A'B'C') + 0.(A'B'C) + 1.(A'BC') + 1.(A'BC) + + 0.(AB'C') + 0.(AB'C) + 1.(ABC') + 1.(ABC) que, aps desconsiderar-se os termos com peso 0, fica: f(A,B,C) = A'B'C' + A'BC' + A'BC + ABC' + ABC = linha0 + linha2 + linha3 + linha6 + linha7 = m0 + m2 + m3 + m6 + m7 que a soma dos produtos (mintermos; m minsculo) das linhas 0, 2, 3, 6 e 7.

Maxtermos

Para Maxtermos o procedimento dual (substitui-se soma por produto, produto por soma e complementado por no complementado) f(A,B,C) = (1 + (A + B + C))(0 + (A + B + C'))(1 + (A + B' + C))(1 + (A + B' + C')). .(0 + (A' + B + C))(0 + (A' + B + C'))(1 + (A' + B' + C))(1 + (A' + B' + C')) que, aps desconsiderar-se os fatores com termos 1, fica f(A,B,C) = (A + B + C')(A' + B + C)(A' + B + C') = linha1 . linha4 . linha5 = M1 . M4 . M5 que o produto das somas (maxtermos; M maisculo) das linhas 1, 4, e 5.

Formas Cannicas
A forma cannica da soma padro de produtos :
f(A,B) = A.B + A.B + A.B = m(0,1,2)

A forma cannica do produto padro de somas :

f(A,B) = A + B = M(3)

Em ambas o nmero indicado nos somatrios ou produtrios a entrada da tabela verdade.

Exerccios
1) Escrever a funo F(x,y,z) na forma padro de mintermo e maxtermo:
F = x + y.z F = x + z F = x.y.z + y F = x.y + x.z F = z + x.y + x.z + x.y.z