1

Um sistema digital electrnico tambm admite estas flutuaes da tenso de

alimentao de acordo com as caractersticas dos componentes electrnicos com que foi
construdo.

10

11

12

13

14

Em 1938, na altura em que se davam os primeiros passos para o nascimento dos

computadores digitais.

15

16

Tambm semelhana do que acontece na escrita de expresses aritmticas, considerase que o produto lgico (AND) tem prioridade sobre a soma lgica (OR) e podem ser
utilizados parntesis para alterar essa prioridade natural dos operadores.
No esquecer que os operadores da lgebra de Boole podem ser representados
graficamente e que atravs das portas lgicas que se constroem os circuitos lgicos
projectados.
Com base nos axiomas pode-se construir um conjunto de teoremas que so relaes
que, uma vez demonstradas com recurso aos axiomas ou outros teoremas, pode ser
aplicados na manipulao de expresses algbricas.
Propriedades que podem ser utilizadas na simplificao de expresses:
Comutativa
A+B+C=A+C+B=C+A+B=
A.B.C=A.C.B=C.A.B=
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)

17

Prova de que A.0 = 0:

A.0=
A.0 + 0
=
A.0 + A.A
=
A.(0+A)
=
A.A
=
0
Prova de que A+A = A:
A + A = (A+A) . 1
= (A+A) . (A+A)
= A + (A.A)
=A+0
=A
Prova de que A.A = A:
A . A = (A.A) + 0
= (A.A) + (A.A)
= A . (A+A)
=A.1
=A

(A + 0 = A)
(A.A = 0)
(Prop. Distributiva)
(A + 0 = A)

(A . 1 = A)
(A + A = 1)
(Prop. Distrib.)

(A + 0 = A)
(A . A = 0)
(Prop. Distrib.)

18

Nesta tabela apresentam-se os teoremas por ordem crescente de complexidade, o que permite fundamentar os teoremas mais
complexos atravs dos teoremas mais simples devidamente comprovados.

Exemplo:
_
Simplifique a seguinte expresso: X . Y . Z + ( Z . Y + Y . X ) . X + X . X + Y + Y + 1 . X . X
Note-se que na resoluo vai-se sublinhando a expresso qual est a ser aplicado o teorema e colocando a negrito o resultado da aplicao do teorema.

RESOLUO:

APLICANDO T8

_
X.Y.Z+(Z.Y+Y.X).X+X.X+Y+Y+1.X.X=
_
= X. ( Y . Z ) + ( Z . Y + Y . X ) . X + X . X + Y + Y + 1 . X . X =
_
= X. ( Y . Z ) + ( Y. (X + Z ) ). X + X . X + Y + Y + 1 . X . X =

APLICANDO T5

= X. ( Y . Z ) + ( Y. (X + Z ) ). X + 0 + Y + Y + 1 . X . X =

APLICANDO T3

= X. ( Y . Z )+ ( Y . (X + Z ) ). X + 0 +

APLICANDO T1

= X. ( Y . Z ) + ( Y. (X + Z ) ). X + 0 +

Y + X .X=

APLICANDO T3

= X. ( Y . Z )+ ( Y. (X + Z ) ). X + 0 +

Y +

APLICANDO T8

= X. ((Z .Y) + Y . (X + Z ) ) + 0 +

Y +

APLICANDO T1

= X . ((Z . Y) + Y . ( X + Z ) ) +

APLICANDO T8

= X. ( Y . ( Z + ( X + Z ) ) ) +

APLICANDO T6

= X. ( Y . ( Z + Z + X ) ) ) +

APLICANDO T3

= X. ( Y . ( Z + X ) ) +

APLICANDO T6

=Y.(X. (Z +X)) +

APLICANDO T9

=Y.

APLICANDO T9

APLICANDO T7

X +
Y

Y +1.X.X=

X =
+

Y
Y

+
+

X =

Y
Y

X =

X
X

=
=

=
+

19

Note-se que isto apenas verdade quando aplicado a relaes de igualdade entre expresses booleanas e
no a expresses isoladas.
Os Teoremas tm 3 regras de Absoro:
1 Regra da Absoro
A + (A . B) = A
A + (A.B) = (A.1) + (A.B) = A . (1+B) = A.1 = A
A . (A + B) = A
A . (A+B) = (A.A) + (A.B) = A + (A.B) = A
2 Regra da Absoro
A + (A . B) = A + B
A + (A.B) = (A+A) . (A+B) = 1 . (A+B) = A + B
A . (A + B) = A . B
A . (A+B) = (A.A) + (A.B) = 0 + (A.B) = A . B
3 Regra da Absoro
(A . B) + (A . B) = A
(A.B) + (A.B) = A . (B+B) = A . 1 = A
(A + B) . (A + B) = A
(A+B) . (A+B) = A + (B.B) = A + 0 = A

20

Esta regra pode ser generalizada a uma funo qualquer com N variveis, permitindo
obter a sua negao apenas substituindo cada varivel pela sua negao, e trocando
entre si os operadores AND e OR.

21

22

23

24

25

26

27

28

29

30

31

O conjunto de axiomas e teoremas apresentados constituem um conjunto de regras que

permitem manipular expresses booleanas.
Estas operaes so importantes, no contexto do projecto de sistemas digitais, e
consistem na simplificao de expresses de forma a construir
circuitos electrnicos que realizem uma funo pretendida e que naturalmente, sejam o
mais simples possvel, melhorando o desempenho e diminuindo os custos de uma
implementao.

32

Observe como uma expresso pode ser simplificada, melhorando sem dvida o
desempenho e o custo necessrio para a construo do sistema digital electrnico.

33

34

35

Cada uma destas representaes tem o seu objectivo e as suas vantagens e

desvantagens.

36

37

A expresso assim obtida chamada de soma cannica ou expresso cannica soma-deprodutos e pode ser tomada como o ponto de partida para construir um circuito lgico
que implemente essa funo.

38

A expresso assim obtida chamada de produto cannico ou expresso cannica

produto-de-somas e pode ser tomada como o ponto de partida para construir um
circuito lgico que implemente essa funo.

39

40

41

42

43

44

45