lÓgica matemÁtica - … · 21/03/2016 2 Álgebra de boole o inglês george boole é considerado o...
TRANSCRIPT
![Page 1: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/1.jpg)
21/03/2016
1
LÓGICA MATEMÁTICA
Prof. Esp. Fabiano Taguchi
[email protected]://fabianotaguchi.wordpress.com
“
Álgebra de Boole
![Page 2: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/2.jpg)
21/03/2016
2
ÁLGEBRA DE BOOLE
O inglês George Boole é considerado o pai da lógica
simbólica, foi ele quem desenvolveu o sistema formal para raciocínio lógico, conhecido como álgebra
booleana.
ÁLGEBRA DE BOOLE
Em sua obra The Mathematical Analysis ofLogic, Boole percebeu que uma álgebra deobjetos poderia ser construída e ter váriasinterpretações.
![Page 3: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/3.jpg)
21/03/2016
3
ÁLGEBRA DE BOOLE
◉ Arquitetura de computadores◉ Modelagem de circuitos (hardware)◉ Minimização de circuitos
PROPRIEDADES
ADIÇÃO LÓGICA
1. A + 0 = A2. A + 1 = 13. A + A = A4. A + A = 1
![Page 4: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/4.jpg)
21/03/2016
4
PROPRIEDADES
MULTIPLICAÇÃO LÓGICA
1. A . 0 = 02. A . 1 = A3. A . A = A4. A . A = 0
PROPRIEDADES
COMUTATIVIDADE
1. A + B = B + A2. A . B = B . A
DISTRIBUTIVA
1. A . (B + C ) = A . B + A . C
![Page 5: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/5.jpg)
21/03/2016
5
PROPRIEDADES
ASSOCIATIVIDADE
1. A + (B + C) = (A + B) + C = (A + C) + B2. A . (B . C) = (A . B) . C = (A . C) . B
OPERAÇÕES FUNDAMENTAIS
![Page 6: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/6.jpg)
21/03/2016
6
OPERAÇÕES DERIVADAS
EXEMPLO DE FUNÇÕES LÓGICAS
![Page 7: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/7.jpg)
21/03/2016
7
EXEMPLO DE FUNÇÕES LÓGICAS
“
Circuitos digitais e portas lógicas
![Page 8: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/8.jpg)
21/03/2016
8
PORTAS LÓGICAS
Representa recursos físicos capazes de realizaroperações lógicas. Sendo que:
◉ Nível lógico 0 (ausência de tensão)◉ Nível lógico 1 (presença de tensão)
PORTA LÓGICA AND
![Page 9: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/9.jpg)
21/03/2016
9
PORTA LÓGICA AND
Quando as duas entradas são 0 (interruptoresdesligados), a saída também é 0 (lâmpadaapagada).
PORTA LÓGICA AND
![Page 10: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/10.jpg)
21/03/2016
10
PORTA LÓGICA AND
PORTA LÓGICA NAND
![Page 11: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/11.jpg)
21/03/2016
11
PORTA LÓGICA NAND
A porta lógica NAND é uma porta lógica ANDcom a saída negada.
Os níveis lógicos da saída (S) da tabela verdade NAND é a negação dos níveis lógicos da saída
(S) da tabela verdade AND.
PORTA LÓGICA NAND
![Page 12: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/12.jpg)
21/03/2016
12
PORTA LÓGICA NAND
PORTA LÓGICA OR
![Page 13: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/13.jpg)
21/03/2016
13
PORTA LÓGICA OR
Quando as entradas são 0 (interruptoresdesligados) a saída (S) também é 0 (lâmpadasapagadas).
PORTA LÓGICA OR
![Page 14: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/14.jpg)
21/03/2016
14
PORTA LÓGICA OR
PORTA LÓGICA NOR
![Page 15: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/15.jpg)
21/03/2016
15
PORTA LÓGICA NOR
A porta lógica NOR é uma porta lógica OR coma saída negada.
Os níveis lógicos da saída (S) da tabela verdade NOR é a negação dos níveis lógicos da saída
(S) da tabela verdade OR.
PORTA LÓGICA NOR
![Page 16: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/16.jpg)
21/03/2016
16
PORTA LÓGICA NOR
PORTA LÓGICA NOT
O nível lógico da saída (S) é a negação do nível lógico da entrada.
![Page 17: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/17.jpg)
21/03/2016
17
PORTA LÓGICA NOT
PORTA LÓGICA EXclusive OR
A saída será 1 se apenas uma entrada for 1.
![Page 18: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/18.jpg)
21/03/2016
18
PORTA LÓGICA EXclusive OR
PORTA LÓGICA EXclusive NOR
É uma porta lógica EX-OR com a saída negada
![Page 19: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/19.jpg)
21/03/2016
19
PORTA LÓGICA EXclusive NOR
CIRCUITOS LÓGICOS
Consiste em um conjunto de portas lógicas econexões que simbolizam uma equaçãobooleana.
Por sua vez estes circuitos executam alguma função ou operação através de portas lógicas.
![Page 20: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/20.jpg)
21/03/2016
20
EXEMPLO
CIRCUITOS LÓGICOS
Dada uma função booleana é possível desenharum circuito lógico que a implementa. Os passosusados para montagem do circuito são osmesmos usados durante a avaliação daexpressão.
Linhas simples representam os fios
![Page 21: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/21.jpg)
21/03/2016
21
CIRCUITOS LÓGICOS
PASSOS:
1. Identificar as variáveis independentes;
2. Cada uma delas terá uma linha (fios);
3. Desenho das portas lógicas necessárias naordem: parênteses, negação, AND e OR.
CIRCUITOS LÓGICOS
EXEMPLO:
Construir o circuito lógico para função booleana:F = A + BC
![Page 22: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/22.jpg)
21/03/2016
22
CIRCUITOS LÓGICOS
EXEMPLO:
Construir o circuito lógico para função booleana:F = AB + BC
CIRCUITOS LÓGICOS
EXEMPLO:
Construir o circuito lógico para função booleana:F = (A+B)(B+C)
![Page 23: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/23.jpg)
21/03/2016
23
EXERCÍCIOS
Converta as seguintes proposições paraexpressões lógicas da álgebra de Boole econstruir a tabela verdade:a) (p v ~q) ^ r ^ ~pb) (~p ^ q) v qc) (~p ^ q) v (p ^ ~q)d) ~(p ^ q) v r
EXERCÍCIOS
Dada a tabela ao lado, encontre o resultado dasexpressões:a) A + B + Cb) A + B . Cc) A . B. Cd) (B + A) . Ce) C + A . Bf) B + C . A + Bg) A + B . C + A . B
A B C
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
![Page 24: LÓGICA MATEMÁTICA - … · 21/03/2016 2 ÁLGEBRA DE BOOLE O inglês George Boole é considerado o pai da lógica simbólica , foi ele quem desenvolveu o sistema formal para raciocínio](https://reader034.vdocuments.site/reader034/viewer/2022050918/5bc1b77a09d3f2f6598b762b/html5/thumbnails/24.jpg)
21/03/2016
24
EXERCÍCIOS
Construa circuitos lógicos com as expressõesabaixo:a) A + B + Cb) A + B . Cc) A . B. Cd) (B + A) . Ce) C + A . Bf) B + C . A + Bg) A + B . C + A . B