Anda di halaman 1dari 41

PROGRAMA DE INFORMTICA BSICA

lgebra Booleana Prof. Joo Dallyson

Na aula passada....
Sistemas de Numerao Operaes Aritmticas

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

Sumrio
Introduo Variveis Lgicas Tipos de Representao Operaes Lgicas
AND, OR, XOR, NOT, NAND, NOR

Aplicaes de Portas Lgicas Equivalncia de Expresses Lgicas

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

Introduo
O computador codifica a informao por meio de padres de 0s e 1s. (bits)
O bit 0 representa o valor falso O bit 1 representa o valor positivo

Operaes Booleanas:
So operaes que manipulam valores verdadeiro/false George Boole (1815-1864)
Pioneiro na rea da matemtica chamada de lgica

A lgebra booleana foi inicialmente relacionada ao computador por Claude Shannon em 1937;
09/10/2013 Prof. Joo Dallyson (BCT UFMA) Fundamentos da Computao 4

Variveis Lgicas
Toda varivel lgica s pode assumir dois estados lgicos distintos
Baixo e Alto ON e OFF

Falso e Verdadeiro
0 e 1 (usado em digital)

Operaes: AND, OR, NOT, XOR, NAND, NOR


09/10/2013 Prof. Joo Dallyson (BCT UFMA) Fundamentos da Computao 5

Tipos de representao
Expresses booleanas Tabela Verdade Circuitos Lgicos

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

Tipos de representao
Expresses booleanas
Precedncia na avaliao:
Respeitar os parnteses Avaliar a inverso Avaliar a multiplicao Avaliar a adio

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

Tipos de representao
Tabela Verdade:
Tabela na qual so exibidas todas as possveis entradas e sadas de uma expresso booleana facilita o clculo do valor lgico de uma proposio composta Para n variveis booleanas, h 2^n

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

Tipos de representao
Porta Lgica:
Dispositivo que produz a sada de um operao booleana dados os valores de entrada Podem ser construdas: Engrenagens, rels, circuitos eletrnicos e dispositivos pticos

Grficos: AB ; ABCD..N

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

Operao Lgica: E (AND)


Possuem duas ou mais entradas e apenas uma sada; Para que a proposio composta seja considerada verdade ambas as proposies que a compem devem ser verdade; realiza a multiplicao booleana de duas ou mais variveis binrias; Tabela Verdade Notao: P1 and P2

P1P2, P1.P2, P1P2

P1 F F V
V

P2 F V F
V

P1 e P2 F F F
V

P1
0 0 1 1

P2
0 1 0 1

P1 . P2
0 0 0 1
10

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

Operao Lgica: E (AND)


Exemplo:
Considere as seguintes sentenas abaixo:
O Brasil pentacampeo mundial de futebol masculino;
Verdade

O Vasco campeo mundial;


Falso
P1 O Brasil pentacampeo mundial de futebol masculino O Flamengo campeo mundial E E P2 Nenhuma seleo possui tantos ttulo mundiais como o Brasil O Vasco campeo mundial P1 E P2 V

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

11

Operao Lgica: E (AND)


Implementao da Porta Lgica AND

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

12

Operao Lgica: E (AND)


Casos possveis (AND)

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

13

Operao Lgica: OU (OR)


Possuem duas ou mais entradas e apenas uma sada; Nesse caso a proposio composta s ser verdade se pelo menos uma das proposies sejam verdade; Realiza a soma booleana de duas ou mais variveis binrias; Notao: P1 or P2 Tabela Verdade P1 + P2, P1 v P2
P1 F F V V
09/10/2013 Prof. Joo Dallyson (BCT UFMA)

P2 F V F V

P1 ou P2 F V V V

P1 0 0
1 1

P2 0 1
0 1

P1 + P2 0 1
1 1
14

Fundamentos da Computao

Operao Lgica: OU (OR)


Exemplo:
Considere as seguintes sentenas abaixo:
P1 O Brasil pentacampeo mundial de futebol masculino O Flamengo campeo mundial O Paraguai possui sete ttulos mundiais P2

P1 E P2 V V F

OU

Nenhuma seleo possui tantos ttulo mundiais como o Brasil O Vasco tricampeo mundial

OU O Vasco campeo mundial OU

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

15

Operao Lgica: OU (OR)


Implementao da Porta Lgica OR

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

16

Operao Lgica: OU (OR)


Casos possveis Porta Lgica OR

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

17

Operao Lgica: NO (NOT)


Possuem apenas uma entrada e uma nica sada; Este conectivo tem o papel de negar uma proposio, ou seja, inverte seu valor; Basta acrescentar falso que; Notao: not P1; P1 ; P1 ; P1 ; ~; Exemplo:
falso que a Itlia possui 7 ttulos mundiais Verdadeiro
P1 V F No P1 F V

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

18

Operao Lgica: NO (NOT)


Implementao porta lgica NOT

Casos possveis

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

19

Operaes Lgicas No E (NAND)


NAND
realiza a multiplicao booleana de duas ou mais variveis binrias e inverte o resultado Notao: P1 nand P2 ; P1.P2 ; (P1.P2) ; (P1.P2)
Tabela Verdade P1 P2 P1 nand P2
0 0 1 1 0 1 0 1 1 1 1 0 Porta Lgica

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

20

Operaes Lgicas No Ou (NOR)


NOR
Realiza a soma booleana de duas ou mais variveis binrias e inverte o resultado Notao: P1 nor P2 ; P1+P2 ; (P1+P2) ; (P1+P2)
Tabela Verdade P1 P2 P1 nor P2
0 0 1 1 0 1 0 1 1 0 0 0 Porta Lgica

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

21

Operao Lgica: Ou Exclusivo (XOR)


Nesse caso a preposio composta s ser verdade se as proposies forem diferentes; Notao: P1 xor P2 ; P1 P2
P1 F F V V P2 F V F V P1 xor P2 F V V F Tabela Verdade P1 P2 P1 xor P2 0 0 1 1 0 1 0 1 0 1 1 0

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

22

Operao Lgica: Ou Exclusivo (XOR)


Implementao porta lgica XOR

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

23

Operao Lgica: Ou Exclusivo (XOR)


Casos possveis porta lgica XOR

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

24

Aplicao de Portas Lgicas


Ex:
Circuito para testar de modo rpido se duas palavras so iguais

Soluo: Porta XOR e porta NOR


09/10/2013 Prof. Joo Dallyson (BCT UFMA) Fundamentos da Computao 25

Aplicao de Portas Lgicas


Ex:
Alerta de cinto de segurana no afivelado

ignio
0 0 1 1

Cinto desafivelado
0 1 0 1

campainha
0 0 0 1 Soluo: Porta AND

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

26

Exemplos
(A E B) OU C
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

AEB 0 0
0 0 0 0 1 1

C 0 1 0 1 0 1 0 1

(A E B) OU C 0
1 0 1 0 1 1 1

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

27

Resumo

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

28

Exemplo 1
Composio de operaes lgicas:

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

29

Exemplo 2
Composio de operaes lgicas:

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

30

Exemplo 3
Composio de operaes lgicas:

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

31

Exemplo 4
Representao por Tabela Verdade

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

32

Exemplo 5
Representao por Tabela Verdade

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

33

Equivalncia de expresses Lgicas

Uma expresso booleana pode ser representada por mais de um circuito lgico Dados dois circuitos, como saber se eles so equivalentes (possuem a mesma expresso lgica)?
Tabela verdade

Se os resultados da tabela verdade so iguais, ento so equivalentes Se os resultados da tabela verdade so diferentes, ento no so equivalentes

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

34

Equivalncia de expresses Lgicas

Exemplo 1:

Exemplo 2:

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

35

Exerccios
Faa a tabela-verdade dos circuitos combinatrios (portas lgicas): 1)

2)

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

36

Exerccios
3) Represente a funo F = A.B + A.B usando portas lgicas e a tabela verdade (tabela de combinaes). 4) Verifique se as expresses abaixo so equivalentes:

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

37

Exerccios
5) Dadas as seguintes proposies: A = 3, B = 10, C = 21 e D = 8

Determine o resultado de: a) A < B b) ~(C < B) c) (A > D) + (C > D) d) (C < B) + ~(A < A) e) ~((D < B) . (C < B)) f) (B > C) + (A > D) g) (C < D) + ((D < A) . ((A < D) + (B > D))) h) ~(D > C) + ~(A > B) i) ~(((A < D) + (A = B)) . (A < 3)) j) (9 > C) + (C < C) . ~(D > 2)
09/10/2013 Prof. Joo Dallyson (BCT UFMA) Fundamentos da Computao 38

Agradecimentos

Ao Prof. Dr. Bruno Feres, do BCT/UFMA Ao Prof. Dr. Sergio Souza Costa, do BCT/UFMA Ao Prof. Me. Geraldo Braz, DEINF/UFMA Ao Prof. Me. Osvaldo Silva Sousa Junior, NTI/UFMA

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

39

Referncias
TANENBAUM, A. S. Organizao Estruturada de Computadores. 5 Ed. So Paulo: Prentice-Hall, 2007. MARULA, M.; BENINI FILHO, P. A. Informtica Conceitos e Aplicaes. 3 Ed. So Paulo: rica, 2008; VELLOSO, F. C. Informtica Conceitos Bsicos. 8.ed. Rio de Janeiro: Elsevier, 2011.

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

40

Perguntas....

09/10/2013

Prof. Joo Dallyson (BCT UFMA)

Fundamentos da Computao

41

Anda mungkin juga menyukai