Sistemas Digitais / Sistemas Digitais I 2 Expresses Lgicas

LGEBRA DE BOOLE
Princpio da dualidade Se trocarmos 0 e por 1 e + numa equao, respectivamente, obtemos outra igualdade vlida. Exemplo: 00=0 1+1=1

SD / SD1 - Expresses Lgicas (2)

LGEBRA DE BOOLE
Postulados A=A A+0=A A+1=1 A+A=A A+A=1

A1=A A0=0 AA=A AA=0

Propriedades Comutativa A+B=B+A AB=BA Associativa A + B + C = A + (B + C) A B C = A (B C) Distributiva A (B + C) = A B + A C A + B C = (A + B) (A + C)

SD / SD1 - Expresses Lgicas (2) 2

Filipe Moreira ESTiG, IPB

SD / SD1 2000/01 Pg. 1

Sistemas Digitais / Sistemas Digitais I 2 Expresses Lgicas

LGEBRA DE BOOLE
Teoremas
A+AB=A AB+AB=A A+AB=A+B A + B C = (A + B) (A + C) A B + A C = (A +C) (A + B) AB+AC+BC=AB+AC terceiro includo A (A + B) = A (A + B) (A + B) = A

A (A + B) = A B A (B + C) = A B + A C (A + B) (A + C) = A C + A B (A + B) (A + C) (B + C) = (A + B) (A + C)

Demonstraes
1.

A+AB=A A + A B = A (1 + B) = A 1 = A A (A + B) = A A (A + B) = A A + A B = A + A B

2.

SD / SD1 - Expresses Lgicas (2)

LEIS DE DE MORGAN
Leis de de Morgan A+B+C=ABC ABC=A+B+C

SD / SD1 - Expresses Lgicas (2)

Filipe Moreira ESTiG, IPB

SD / SD1 2000/01 Pg. 2

Sistemas Digitais / Sistemas Digitais I 2 Expresses Lgicas

REPRESENTAO DE FUNES
Forma cannica de uma funo booleana Chama-se forma cannica de uma funo booleana a todo o produto ou soma de produtos nos quais aparecem todas as variveis em cada um dos termos que constituem a expresso em forma directa ou complementada. Exemplos s1 = a b c + a b c + a b c s2 = (a + b + c) (a + b + c) (a + b + c) s1 : forma cannica disjuntiva (soma de produtos) Mintermos (1) s2 : forma cannica conjuntiva (produto de somas) Maxtermos (0) Toda a funo lgica pode ser expressa na sua forma cannica realizando as devidas transformaes.
SD / SD1 - Expresses Lgicas (2) 5

REPRESENTAO DE FUNES
Obteno da funo lgica a partir da Tabela de Verdade A forma cannica disjuntiva (mintermos) obtm-se somando todos os produtos lgicos que do funo o valor lgico 1. O nmero de termos ser igual ao nmero de 1s na funo. Exemplo:

a 0 0 0 0 1 1 1 1

b 0 0 1 1 0 0 1 1

c 0 1 0 1 0 1 0 1

f 1 0 0 0 0 1 1 0
6

f=abc+abc+abc

SD / SD1 - Expresses Lgicas (2)

Filipe Moreira ESTiG, IPB

SD / SD1 2000/01 Pg. 3

Sistemas Digitais / Sistemas Digitais I 2 Expresses Lgicas

REPRESENTAO DE FUNES
A forma cannica conjuntiva (maxtermos)obtm-se multiplicando todas as somas lgicas que do funo o valor lgico 0. O nmero de termos ser igual ao nmero de 0s da funo. Exemplo (para a mesma tabela):
f = (a + b + c) (a + b + c) (a + b + c) (a + b + c) (a + b + c)

Neste caso as variveis aparecem negadas quando o seu valor na tabela de verdade corresponde a 1.

SD / SD1 - Expresses Lgicas (2)

Filipe Moreira ESTiG, IPB

SD / SD1 2000/01 Pg. 4