´
   Algebra de Boole

      Alberto Sim˜es
                 o
alberto.simoes@eu.ipp.pt


   3 de Outubro de 2009




   A...
´
Algebra de Boole


     Simplificadamente, uma ´lgebra define:
                           a
         um conjunto de valore...
´
Algebra de Boole


     Simplificadamente, uma ´lgebra define:
                           a
         um conjunto de valore...
´
Algebra de Boole


     Simplificadamente, uma ´lgebra define:
                           a
         um conjunto de valore...
´
Algebra de Boole
Nega¸˜o
    ca




      A nega¸˜o ´ habitualmente lida n˜o (not);
            ca e                    ...
´
Algebra de Boole
Nega¸˜o
    ca




      A nega¸˜o ´ habitualmente lida n˜o (not);
            ca e                    ...
´
Algebra de Boole
Nega¸˜o
    ca




      A nega¸˜o ´ habitualmente lida n˜o (not);
            ca e                    ...
´
Algebra de Boole
Conjun¸˜o
      ca


      A conjun¸˜o ´ habitualmente lida e (and);
              ca e
      A sua rep...
´
Algebra de Boole
Conjun¸˜o
      ca


      A conjun¸˜o ´ habitualmente lida e (and);
              ca e
      A sua rep...
´
Algebra de Boole
Conjun¸˜o
      ca


      A conjun¸˜o ´ habitualmente lida e (and);
              ca e
      A sua rep...
´
Algebra de Boole
Disjun¸˜o
      ca


       A disjun¸˜o ´ habitualmente lida ou (or);
               ca e
       A sua ...
´
Algebra de Boole
Disjun¸˜o
      ca


       A disjun¸˜o ´ habitualmente lida ou (or);
               ca e
       A sua ...
´
Algebra de Boole
Disjun¸˜o
      ca


       A disjun¸˜o ´ habitualmente lida ou (or);
               ca e
       A sua ...
´
Algebra de Boole
Operadores Derivados




       Implica¸˜o:
              ca
                            a ⇒ b = ¬(a ∧ ...
´
Algebra de Boole
Implica¸˜o
       ca


       A implica¸˜o ´ habitualmente lida implica (implies);
                ca e...
´
Algebra de Boole
Implica¸˜o
       ca


       A implica¸˜o ´ habitualmente lida implica (implies);
                ca e...
´
Algebra de Boole
Implica¸˜o
       ca


       A implica¸˜o ´ habitualmente lida implica (implies);
                ca e...
´
Algebra de Boole
Ou exclusivo

       O ou exclusivo ´ habitualmente denotado por xor;
                       e
       a...
´
Algebra de Boole
Ou exclusivo

       O ou exclusivo ´ habitualmente denotado por xor;
                       e
       a...
´
Algebra de Boole
Ou exclusivo

       O ou exclusivo ´ habitualmente denotado por xor;
                       e
       a...
´
Algebra de Boole
Equivalˆncia
       e


       A equivalˆncia ´ habitualmente lida equivale a;
                e     e
...
´
Algebra de Boole
Equivalˆncia
       e


       A equivalˆncia ´ habitualmente lida equivale a;
                e     e
...
´
Algebra de Boole
Equivalˆncia
       e


       A equivalˆncia ´ habitualmente lida equivale a;
                e     e
...
´
Algebra de Boole
Leis b´sicas
      a

        Associatividade da disjun¸˜o e conjun¸˜o:
                               ...
´
Algebra de Boole
Leis b´sicas
      a

        Associatividade da disjun¸˜o e conjun¸˜o:
                               ...
´
Algebra de Boole
Leis b´sicas
      a

        Associatividade da disjun¸˜o e conjun¸˜o:
                               ...
´
Algebra de Boole
Leis b´sicas
      a




        Dupla Nega¸˜o
                  ca
                                   ...
´
Algebra de Boole
Leis b´sicas
      a




        Dupla Nega¸˜o
                  ca
                                   ...
´
Algebra de Boole
Leis b´sicas
      a




        Dupla Nega¸˜o
                  ca
                                   ...
Upcoming SlideShare
Loading in …5
×

Álgebra de Boole

4,334 views

Published on

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

Published in: Education
0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total views
4,334
On SlideShare
0
From Embeds
0
Number of Embeds
65
Actions
Shares
0
Downloads
118
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide

Á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

×