SISTEMAS DIGITAIS

Prof. Ricardo Rodrigues Barcelar http://www.ricardobarcelar.com - Aula 4 FUNES BOOLEANAS Seja F(x1, x2, ..., xn) uma expresso booleana, e visto que cada uma das n variveis pode assumir independentemente o valor 0 ou 1, existiro 2n combinaes de variveis a serem considerados na determinao de F. Exemplo: Considere F(x,y,z) = xz+xz+xy Para combinaes x=0, y=0, z=1, temos F(x,y,z) = 0.1+0.1+0.0 = 1.1+0.0+1.1 = 1 Combinando para as 8 combinaes: (23) Cada tabela verdade define apenas uma funo booleana

x 0 0 0 0 1 1 1 1

y 0 0 1 1 0 0 1 1

z 1 0 1 0 1 0 1 0

T 1 1 0 1 1 0 1 0

Formas Cannicas possvel derivar da tabela verdade para uma funo F(x,y,z) expresses booleanas que representem esta funo. Mintermos Dada uma tabela verdade qualquer podemos descrever uma funo booleana correspondente atravs da soma de todos os mintermos para os quais a funo assume o valor 1. Um mintermo qualquer produto que contenha as n variveis de uma funo como fatores. Contudo, na soma

SISTEMAS DIGITAIS
Prof. Ricardo Rodrigues Barcelar http://www.ricardobarcelar.com dos mintermos que representaro a funo booleana, uma varivel aparecer complementada num mintermo caso ela assuma valor 0 nesta combinao. Retomando a tabela anterior, constatamos que para x=y=0 e z=1 F(x,y,z)=1, e portanto o mintermo xyz aparecer na expresso da funo. Na verdade, F(x,y,z) pode ser escrita como: F(x,y,z) = xyz + xyz + xyz + xyz + xyz Esta forma obtida para F(x,y,z) chamada de soma cannica de produtos. As funes booleanas so normalmente expressas pelos cdigos decimais associados aos mintermos para o s quais a funo vale 1. Assim, o mintermo xyz que est associado a linha 001, que interpretada como um nmero binrio corresponde ao decimal 3. Dessa forma, possvel representar a funo da seguinte forma: F(x,y,z) = S(0,1,3,4,6), onde S significa a soma de todos os mintermos. Maxtermos Uma funo booleana tambm pode ser expressa atravs do produto de todos os maxtermos para os quais a funo assume o valor 0. Um maxtermos qualquer soma que contenha as n variveis de uma funo como parcelas. Contudo, no produto dos maxtermos que representaro a funo booleana, uma varivel aparecer complementada num maxtermo caso ela assuma valor 1 nesta combinao. Como exemplo tomemos F(x,y,z), para x=z=0 e y=1; o maxtermo correspondente ser (x + y + z). Dessa forma possvel escrever a funo da seguinte forma: F(x,y,z) =(x+y+z) . (x+y+z) . (x+y+z) F(x,y,z) = P(2,5,7), onde P significa o produto de todos os maxtermos. Utilizar o Maxtermo significa que minimizar a funo F, via mintermos, equivalente a minimizar sua negao, F', via maxtermos. Com essas formas cannicas possvel representar qualquer tabela verdade, contudo na escolha da funo deve-se considerar a que resultar em menor nmero de termos, produzindo uma expresso mais simples.

SISTEMAS DIGITAIS
Prof. Ricardo Rodrigues Barcelar http://www.ricardobarcelar.com Aps se encontrar uma expresso que represente o comportamento esperado, possvel que no seja uma expresso simples que possa ser construda com poucas portas lgicas. Antes de projetar o circuito, til SIMPLIFICAR a expresso, de forma a possibilitar construir um circuito mais simples e, portanto mais barato. Exerccio 1) Construa a tabela verdade para a seguinte expresso f(A,B,C) = AC+B; 2) Extraia a Forma Cannica para o mintermo e maxtermo; 3) Prove que o mintermo equivalente a funo dada (f(A,B,C) = AC+B) atravs da simplificao. Soluo: ABC 000 001 010 011 100 101 110 111 AC B 01 01 00 00 01 11 00 10 f(A,B,C) = AC+B 1 1 0 0 1 1 0 1 Mintermo ABC ABC ABC ABC ABC Maxtermo A+B+C A+B+C A+B+C -

Linha 0 1 2 3 4 5 6 7

Mintermo f(A,B,C) = ABC+ABC+ABC+ABC +ABC Maxtermo f(A,B,C) = (A+B+C) . (A+B+C) . (A+B+C) Aplicando as leis da lgebra Booleana possvel simplificar tanto Mintermo como Maxtermo:

SISTEMAS DIGITAIS
Prof. Ricardo Rodrigues Barcelar http://www.ricardobarcelar.com Para o mintermo procede-se normalmente: Funo f(A,B,C) = ABC+ABC+ABC+ABC +ABC f(A,B,C) = AB(C+C)+A(BC+BC+BC) f(A,B,C) = AB(C+C)+A(BC+C(B+B)) f(A,B,C) = = AB(1)+A(BC+C(1)) f(A,B,C) = AB+A(BC+C) f(A,B,C) = AB+A(BC+C) f(A,B,C) = AB+A(B+C) f(A,B,C) = AB+AB+AC f(A,B,C) = B(A+A)+AC f(A,B,C) = B(1)+AC f(A,B,C) = B+AC Propriedade Lei da distributividade Elemento Inverso/ Lei da distributividade Elemento Inverso Elemento Neutro Lei da distributividade Absoro Lei da distributividade Lei da distributividade Elemento Inverso Elemento Neutro

Para o Maxtermo procede-se da mesma forma negando a funo no final: Funo f(A,B,C) = (A+B+C) . (A+B+C) . (A+B+C) f(A,B,C) = ((A+B)+(C.C)) . (A+B+C) f(A,B,C) = ((A+B)+ 0) . (A+B+C) f(A,B,C) = (A+B) . (A+B+C) f(A,B,C) = A.A+AB+AC+BA+BB+BC f(A,B,C) = 0+AB+AC+BA+B+BC f(A,B,C) = B(A+A+1+C)+AC f(A,B,C) = B(1)+AC f(A,B,C) = B+AC f(A,B,C) = B+AC Propriedade Lei da distributividade Elemento Inverso Elemento Neutro Lei da distributividade Elemento Inverso Elemento Neutro/Lei da distributividade Elemento Inverso Elemento Neutro Negando a funo