Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Álgebra de Boole

4,656 views

Published on

Apresentação BÁSICA sobre álgebra de Boole e algumas noções de lógica de primeira ordem.

Published in: Education
  • Be the first to comment

Álgebra de Boole

  1. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 27. ´ Algebra de Boole Leis b´sicas a Dupla Nega¸˜o ca ¬¬a = a Alberto Sim˜es o ´ Algebra de Boole
  28. 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. 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

×