Álgebra de boole
DESCRIPTION
Apresentação BÁSICA sobre álgebra de Boole e algumas noções de lógica de primeira ordem.TRANSCRIPT
![Page 2: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/2.jpg)
Algebra de Boole
Simplificadamente, uma algebra define:
um conjunto de valores;um conjunto de operacoes;e garante um conjunto de propriedades
George Boole definiu uma algebra baseada em valores logicos:sobre um conjunto de dois valores:
verdadeiro (1)falso (0)
com tres operacoes basicas:
negacao (nao)conjuncao (e)disjuncao (ou)
Alberto Simoes Algebra de Boole
![Page 3: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/3.jpg)
Algebra de Boole
Simplificadamente, uma algebra define:
um conjunto de valores;um conjunto de operacoes;e garante um conjunto de propriedades
George Boole definiu uma algebra baseada em valores logicos:sobre um conjunto de dois valores:
verdadeiro (1)falso (0)
com tres operacoes basicas:
negacao (nao)conjuncao (e)disjuncao (ou)
Alberto Simoes Algebra de Boole
![Page 4: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/4.jpg)
Algebra de Boole
Simplificadamente, uma algebra define:
um conjunto de valores;um conjunto de operacoes;e garante um conjunto de propriedades
George Boole definiu uma algebra baseada em valores logicos:sobre um conjunto de dois valores:
verdadeiro (1)falso (0)
com tres operacoes basicas:
negacao (nao)conjuncao (e)disjuncao (ou)
Alberto Simoes Algebra de Boole
![Page 5: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/5.jpg)
Algebra de BooleNegacao
A negacao e habitualmente lida nao (not);
A sua representacao matematica e ¬;
x ¬x
0 11 0
¬0 = 1
¬1 = 0
Alberto Simoes Algebra de Boole
![Page 6: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/6.jpg)
Algebra de BooleNegacao
A negacao e habitualmente lida nao (not);
A sua representacao matematica e ¬;
x ¬x
0 11 0
¬0 = 1
¬1 = 0
Alberto Simoes Algebra de Boole
![Page 7: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/7.jpg)
Algebra de BooleNegacao
A negacao e habitualmente lida nao (not);
A sua representacao matematica e ¬;
x ¬x
0 11 0
¬0 = 1
¬1 = 0
Alberto Simoes Algebra de Boole
![Page 8: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/8.jpg)
Algebra de BooleConjuncao
A conjuncao e habitualmente lida e (and);
A sua representacao matematica e ∧;
∧ 0 1
0 0 01 0 1
1 ∧ 1 = 1
1 ∧ 0 = 0
0 ∧ 1 = 0
0 ∧ 0 = 0
Alberto Simoes Algebra de Boole
![Page 9: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/9.jpg)
Algebra de BooleConjuncao
A conjuncao e habitualmente lida e (and);
A sua representacao matematica e ∧;
∧ 0 1
0 0 01 0 1
1 ∧ 1 = 1
1 ∧ 0 = 0
0 ∧ 1 = 0
0 ∧ 0 = 0
Alberto Simoes Algebra de Boole
![Page 10: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/10.jpg)
Algebra de BooleConjuncao
A conjuncao e habitualmente lida e (and);
A sua representacao matematica e ∧;
∧ 0 1
0 0 01 0 1
1 ∧ 1 = 1
1 ∧ 0 = 0
0 ∧ 1 = 0
0 ∧ 0 = 0
Alberto Simoes Algebra de Boole
![Page 11: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/11.jpg)
Algebra de BooleDisjuncao
A disjuncao e habitualmente lida ou (or);
A sua representacao matematica e ∨;
∨ 0 1
0 0 11 1 1
1 ∨ 1 = 1
1 ∨ 0 = 1
0 ∨ 1 = 1
0 ∨ 0 = 0
Alberto Simoes Algebra de Boole
![Page 12: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/12.jpg)
Algebra de BooleDisjuncao
A disjuncao e habitualmente lida ou (or);
A sua representacao matematica e ∨;
∨ 0 1
0 0 11 1 1
1 ∨ 1 = 1
1 ∨ 0 = 1
0 ∨ 1 = 1
0 ∨ 0 = 0
Alberto Simoes Algebra de Boole
![Page 13: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/13.jpg)
Algebra de BooleDisjuncao
A disjuncao e habitualmente lida ou (or);
A sua representacao matematica e ∨;
∨ 0 1
0 0 11 1 1
1 ∨ 1 = 1
1 ∨ 0 = 1
0 ∨ 1 = 1
0 ∨ 0 = 0
Alberto Simoes Algebra de Boole
![Page 14: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/14.jpg)
Algebra de BooleOperadores Derivados
Implicacao:a⇒ b = ¬(a ∧ ¬b)
Ou exclusivo:
a⊕ b = (a ∨ b) ∧ ¬(a ∧ b)
Equivalencia:a ≡ b = ¬(a⊕ b)
Alberto Simoes Algebra de Boole
![Page 15: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/15.jpg)
Algebra de BooleImplicacao
A implicacao e habitualmente lida implica (implies);
A sua representacao matematica e ⇒;
⇒ 0 1
0 1 11 0 1
1⇒ 1 = 1
1⇒ 0 = 0
0⇒ 1 = 1
0⇒ 0 = 1
Alberto Simoes Algebra de Boole
![Page 16: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/16.jpg)
Algebra de BooleImplicacao
A implicacao e habitualmente lida implica (implies);
A sua representacao matematica e ⇒;
⇒ 0 1
0 1 11 0 1
1⇒ 1 = 1
1⇒ 0 = 0
0⇒ 1 = 1
0⇒ 0 = 1
Alberto Simoes Algebra de Boole
![Page 17: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/17.jpg)
Algebra de BooleImplicacao
A implicacao e habitualmente lida implica (implies);
A sua representacao matematica e ⇒;
⇒ 0 1
0 1 11 0 1
1⇒ 1 = 1
1⇒ 0 = 0
0⇒ 1 = 1
0⇒ 0 = 1
Alberto Simoes Algebra de Boole
![Page 18: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/18.jpg)
Algebra de BooleOu exclusivo
O ou exclusivo e habitualmente denotado por xor;
a⊕ b pode ser lido como a ou b, mas nunca os dois;
Nao tem uma representacao matematica oficial;
Nestes slides, sera usado o ⊕;
⊕ 0 1
0 0 11 1 0
1⊕ 1 = 0
1⊕ 0 = 1
0⊕ 1 = 1
0⊕ 0 = 0
Alberto Simoes Algebra de Boole
![Page 19: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/19.jpg)
Algebra de BooleOu exclusivo
O ou exclusivo e habitualmente denotado por xor;
a⊕ b pode ser lido como a ou b, mas nunca os dois;
Nao tem uma representacao matematica oficial;
Nestes slides, sera usado o ⊕;
⊕ 0 1
0 0 11 1 0
1⊕ 1 = 0
1⊕ 0 = 1
0⊕ 1 = 1
0⊕ 0 = 0
Alberto Simoes Algebra de Boole
![Page 20: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/20.jpg)
Algebra de BooleOu exclusivo
O ou exclusivo e habitualmente denotado por xor;
a⊕ b pode ser lido como a ou b, mas nunca os dois;
Nao tem uma representacao matematica oficial;
Nestes slides, sera usado o ⊕;
⊕ 0 1
0 0 11 1 0
1⊕ 1 = 0
1⊕ 0 = 1
0⊕ 1 = 1
0⊕ 0 = 0
Alberto Simoes Algebra de Boole
![Page 21: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/21.jpg)
Algebra de BooleEquivalencia
A equivalencia e habitualmente lida equivale a;
A sua representacao matematica e ≡;
≡ 0 1
0 1 01 0 1
1 ≡ 1 = 1
1 ≡ 0 = 0
0 ≡ 1 = 0
0 ≡ 0 = 1
Alberto Simoes Algebra de Boole
![Page 22: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/22.jpg)
Algebra de BooleEquivalencia
A equivalencia e habitualmente lida equivale a;
A sua representacao matematica e ≡;
≡ 0 1
0 1 01 0 1
1 ≡ 1 = 1
1 ≡ 0 = 0
0 ≡ 1 = 0
0 ≡ 0 = 1
Alberto Simoes Algebra de Boole
![Page 23: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/23.jpg)
Algebra de BooleEquivalencia
A equivalencia e habitualmente lida equivale a;
A sua representacao matematica e ≡;
≡ 0 1
0 1 01 0 1
1 ≡ 1 = 1
1 ≡ 0 = 0
0 ≡ 1 = 0
0 ≡ 0 = 1
Alberto Simoes Algebra de Boole
![Page 24: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/24.jpg)
Algebra de BooleLeis basicas
Associatividade da disjuncao e conjuncao:
a ∧ (b ∧ c) = (a ∧ b) ∧ c
a ∨ (b ∨ c) = (a ∨ b) ∨ c
Comutatividade da disjuncao e conjuncao:
a ∧ b = b ∧ a
a ∨ b = b ∨ a
Distributividade:
a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c)
a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)
Alberto Simoes Algebra de Boole
![Page 25: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/25.jpg)
Algebra de BooleLeis basicas
Associatividade da disjuncao e conjuncao:
a ∧ (b ∧ c) = (a ∧ b) ∧ c
a ∨ (b ∨ c) = (a ∨ b) ∨ c
Comutatividade da disjuncao e conjuncao:
a ∧ b = b ∧ a
a ∨ b = b ∨ a
Distributividade:
a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c)
a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)
Alberto Simoes Algebra de Boole
![Page 26: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/26.jpg)
Algebra de BooleLeis basicas
Associatividade da disjuncao e conjuncao:
a ∧ (b ∧ c) = (a ∧ b) ∧ c
a ∨ (b ∨ c) = (a ∨ b) ∨ c
Comutatividade da disjuncao e conjuncao:
a ∧ b = b ∧ a
a ∨ b = b ∨ a
Distributividade:
a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c)
a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)
Alberto Simoes Algebra de Boole
![Page 27: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/27.jpg)
Algebra de BooleLeis basicas
Dupla Negacao¬¬a = a
De Morgan¬(a ∧ b) = ¬a ∨ ¬b
¬(a ∨ b) = ¬a ∧ ¬b
Mais em http:
//en.wikipedia.org/wiki/Elementary_Boolean_algebra
Alberto Simoes Algebra de Boole
![Page 28: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/28.jpg)
Algebra de BooleLeis basicas
Dupla Negacao¬¬a = a
De Morgan¬(a ∧ b) = ¬a ∨ ¬b
¬(a ∨ b) = ¬a ∧ ¬b
Mais em http:
//en.wikipedia.org/wiki/Elementary_Boolean_algebra
Alberto Simoes Algebra de Boole
![Page 29: Álgebra de Boole](https://reader034.vdocuments.pub/reader034/viewer/2022052321/554be4dcb4c9055a368b4852/html5/thumbnails/29.jpg)
Algebra de BooleLeis basicas
Dupla Negacao¬¬a = a
De Morgan¬(a ∧ b) = ¬a ∨ ¬b
¬(a ∨ b) = ¬a ∧ ¬b
Mais em http:
//en.wikipedia.org/wiki/Elementary_Boolean_algebra
Alberto Simoes Algebra de Boole