Álgebra de Boole
•
2 likes•3,049 views
A apresentação introduz a álgebra de Boole, definindo-a como um conjunto de valores lógicos (verdadeiro e falso), operações (negação, conjunção e disjunção) e propriedades. Discute as operações básicas da álgebra de Boole e suas representações matemáticas.
Recommended
More Related Content
What's hot
What's hot (20)
Viewers also liked
More from Alberto Simões
More from Alberto Simões (20)
Recently uploaded
Recently uploaded (20)
Álgebra de Boole
- 1. ´ Algebra de Boole Alberto Sim˜es o alberto.simoes@eu.ipp.pt 3 de Outubro de 2009 Alberto Sim˜es o ´ Algebra de Boole
- 2. ´ Algebra de Boole Simplificadamente, uma ´lgebra define: a um conjunto de valores; um conjunto de opera¸˜es; co e garante um conjunto de propriedades Alberto Sim˜es o ´ Algebra de Boole
- 3. ´ Algebra de Boole Simplificadamente, uma ´lgebra define: a um conjunto de valores; um conjunto de opera¸˜es; co e garante um conjunto de propriedades George Boole definiu uma ´lgebra baseada em valores l´gicos: a o sobre um conjunto de dois valores: verdadeiro (1) falso (0) Alberto Sim˜es o ´ Algebra de Boole
- 4. ´ Algebra de Boole Simplificadamente, uma ´lgebra define: a um conjunto de valores; um conjunto de opera¸˜es; co e garante um conjunto de propriedades George Boole definiu uma ´lgebra baseada em valores l´gicos: a o sobre um conjunto de dois valores: verdadeiro (1) falso (0) com trˆs opera¸˜es b´sicas: e co a nega¸˜o (n˜o) ca a conjun¸˜o (e) ca disjun¸˜o (ou) ca Alberto Sim˜es o ´ Algebra de Boole
- 5. ´ Algebra de Boole Nega¸˜o ca A nega¸˜o ´ habitualmente lida n˜o (not); ca e a A sua representa¸˜o matem´tica ´ ¬; ca a e Alberto Sim˜es o ´ Algebra de Boole
- 6. ´ Algebra de Boole Nega¸˜o ca A nega¸˜o ´ habitualmente lida n˜o (not); ca e a A sua representa¸˜o matem´tica ´ ¬; ca a e x ¬x 0 1 1 0 Alberto Sim˜es o ´ Algebra de Boole
- 7. ´ Algebra de Boole Nega¸˜o ca A nega¸˜o ´ habitualmente lida n˜o (not); ca e a A sua representa¸˜o matem´tica ´ ¬; ca a e x ¬x 0 1 1 0 ¬0 = 1 ¬1 = 0 Alberto Sim˜es o ´ Algebra de Boole
- 8. ´ Algebra de Boole Conjun¸˜o ca A conjun¸˜o ´ habitualmente lida e (and); ca e A sua representa¸˜o matem´tica ´ ∧; ca a e Alberto Sim˜es o ´ Algebra de Boole
- 9. ´ Algebra de Boole Conjun¸˜o ca A conjun¸˜o ´ habitualmente lida e (and); ca e A sua representa¸˜o matem´tica ´ ∧; ca a e ∧ 0 1 0 0 0 1 0 1 Alberto Sim˜es o ´ Algebra de Boole
- 10. ´ Algebra de Boole Conjun¸˜o ca A conjun¸˜o ´ habitualmente lida e (and); ca e A sua representa¸˜o matem´tica ´ ∧; ca a e ∧ 0 1 0 0 0 1 0 1 1∧1 = 1 1∧0 = 0 0∧1 = 0 0∧0 = 0 Alberto Sim˜es o ´ Algebra de Boole
- 11. ´ Algebra de Boole Disjun¸˜o ca A disjun¸˜o ´ habitualmente lida ou (or); ca e A sua representa¸˜o matem´tica ´ ∨; ca a e Alberto Sim˜es o ´ Algebra de Boole
- 12. ´ Algebra de Boole Disjun¸˜o ca A disjun¸˜o ´ habitualmente lida ou (or); ca e A sua representa¸˜o matem´tica ´ ∨; ca a e ∨ 0 1 0 0 1 1 1 1 Alberto Sim˜es o ´ Algebra de Boole
- 13. ´ Algebra de Boole Disjun¸˜o ca A disjun¸˜o ´ habitualmente lida ou (or); ca e A sua representa¸˜o matem´tica ´ ∨; ca a e ∨ 0 1 0 0 1 1 1 1 1∨1 = 1 1∨0 = 1 0∨1 = 1 0∨0 = 0 Alberto Sim˜es o ´ Algebra de Boole
- 14. ´ Algebra de Boole Operadores Derivados Implica¸˜o: ca a ⇒ b = ¬(a ∧ ¬b) Ou exclusivo: a ⊕ b = (a ∨ b) ∧ ¬(a ∧ b) Equivalˆncia: e a ≡ b = ¬(a ⊕ b) Alberto Sim˜es o ´ Algebra de Boole
- 15. ´ Algebra de Boole Implica¸˜o ca A implica¸˜o ´ habitualmente lida implica (implies); ca e A sua representa¸˜o matem´tica ´ ⇒; ca a e Alberto Sim˜es o ´ Algebra de Boole
- 16. ´ Algebra de Boole Implica¸˜o ca A implica¸˜o ´ habitualmente lida implica (implies); ca e A sua representa¸˜o matem´tica ´ ⇒; ca a e ⇒ 0 1 0 1 1 1 0 1 Alberto Sim˜es o ´ Algebra de Boole
- 17. ´ Algebra de Boole Implica¸˜o ca A implica¸˜o ´ habitualmente lida implica (implies); ca e A sua representa¸˜o matem´tica ´ ⇒; ca a e ⇒ 0 1 0 1 1 1 0 1 1⇒1 = 1 1⇒0 = 0 0⇒1 = 1 0⇒0 = 1 Alberto Sim˜es o ´ Algebra de Boole
- 18. ´ Algebra de Boole Ou exclusivo O ou exclusivo ´ habitualmente denotado por xor; e a ⊕ b pode ser lido como a ou b, mas nunca os dois; N˜o tem uma representa¸˜o matem´tica oficial; a ca a Nestes slides, ser´ usado o ⊕; a Alberto Sim˜es o ´ Algebra de Boole
- 19. ´ Algebra de Boole Ou exclusivo O ou exclusivo ´ habitualmente denotado por xor; e a ⊕ b pode ser lido como a ou b, mas nunca os dois; N˜o tem uma representa¸˜o matem´tica oficial; a ca a Nestes slides, ser´ usado o ⊕; a ⊕ 0 1 0 0 1 1 1 0 Alberto Sim˜es o ´ Algebra de Boole
- 20. ´ Algebra de Boole Ou exclusivo O ou exclusivo ´ habitualmente denotado por xor; e a ⊕ b pode ser lido como a ou b, mas nunca os dois; N˜o tem uma representa¸˜o matem´tica oficial; a ca a Nestes slides, ser´ usado o ⊕; a ⊕ 0 1 0 0 1 1 1 0 1⊕1 = 0 1⊕0 = 1 0⊕1 = 1 0⊕0 = 0 Alberto Sim˜es o ´ Algebra de Boole
- 21. ´ Algebra de Boole Equivalˆncia e A equivalˆncia ´ habitualmente lida equivale a; e e A sua representa¸˜o matem´tica ´ ≡; ca a e Alberto Sim˜es o ´ Algebra de Boole
- 22. ´ Algebra de Boole Equivalˆncia e A equivalˆncia ´ habitualmente lida equivale a; e e A sua representa¸˜o matem´tica ´ ≡; ca a e ≡ 0 1 0 1 0 1 0 1 Alberto Sim˜es o ´ Algebra de Boole
- 23. ´ Algebra de Boole Equivalˆncia e A equivalˆncia ´ habitualmente lida equivale a; e e A sua representa¸˜o matem´tica ´ ≡; ca a e ≡ 0 1 0 1 0 1 0 1 1≡1 = 1 1≡0 = 0 0≡1 = 0 0≡0 = 1 Alberto Sim˜es o ´ Algebra de Boole
- 24. ´ Algebra de Boole Leis b´sicas a Associatividade da disjun¸˜o e conjun¸˜o: ca ca a ∧ (b ∧ c) = (a ∧ b) ∧ c a ∨ (b ∨ c) = (a ∨ b) ∨ c Alberto Sim˜es o ´ Algebra de Boole
- 25. ´ Algebra de Boole Leis b´sicas a Associatividade da disjun¸˜o e conjun¸˜o: ca ca a ∧ (b ∧ c) = (a ∧ b) ∧ c a ∨ (b ∨ c) = (a ∨ b) ∨ c Comutatividade da disjun¸˜o e conjun¸˜o: ca ca a∧b =b∧a a∨b =b∨a Alberto Sim˜es o ´ Algebra de Boole
- 26. ´ Algebra de Boole Leis b´sicas a Associatividade da disjun¸˜o e conjun¸˜o: ca ca a ∧ (b ∧ c) = (a ∧ b) ∧ c a ∨ (b ∨ c) = (a ∨ b) ∨ c Comutatividade da disjun¸˜o e conjun¸˜o: ca ca a∧b =b∧a a∨b =b∨a Distributividade: a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c) a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c) Alberto Sim˜es o ´ Algebra de Boole
- 27. ´ Algebra de Boole Leis b´sicas a Dupla Nega¸˜o ca ¬¬a = a Alberto Sim˜es o ´ Algebra de Boole
- 28. ´ Algebra de Boole Leis b´sicas a Dupla Nega¸˜o ca ¬¬a = a De Morgan ¬(a ∧ b) = ¬a ∨ ¬b ¬(a ∨ b) = ¬a ∧ ¬b Alberto Sim˜es o ´ Algebra de Boole
- 29. ´ Algebra de Boole Leis b´sicas a Dupla Nega¸˜o ca ¬¬a = a De Morgan ¬(a ∧ b) = ¬a ∨ ¬b ¬(a ∨ b) = ¬a ∧ ¬b Mais em http: //en.wikipedia.org/wiki/Elementary_Boolean_algebra Alberto Sim˜es o ´ Algebra de Boole