Álgebra de Boole

´ Algebra de Boole Alberto Sim˜es o alberto.simoes@eu.ipp.pt 3 de Outubro de 2009 Alberto Sim˜es o ´ Algebra de Boole

´ Algebra de Boole Simpliﬁcadamente, uma ´lgebra deﬁne: a um conjunto de valores; um conjunto de opera¸˜es; co e garante um conjunto de propriedades Alberto Sim˜es o ´ Algebra de Boole

´ 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

´ 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¸õ (nõ) ca a conjun¸õ (e) ca disjun¸õ (ou) ca Alberto Sim˜es o ´ Algebra de Boole

´ Algebra de Boole Nega¸õ ca A nega¸õ ´ habitualmente lida nõ (not); ca e a A sua representa¸õ matem´tica ´ ¬; ca a e Alberto Sim˜es o ´ Algebra de Boole

´ Algebra de Boole Nega¸õ ca A nega¸õ ´ habitualmente lida nõ (not); ca e a A sua representa¸õ matem´tica ´ ¬; ca a e x ¬x 0 1 1 0 Alberto Sim˜es o ´ Algebra de Boole

´ Algebra de Boole Nega¸õ ca A nega¸õ ´ habitualmente lida nõ (not); ca e a A sua representa¸õ matem´tica ´ ¬; ca a e x ¬x 0 1 1 0 ¬0 = 1 ¬1 = 0 Alberto Sim˜es o ´ Algebra de Boole

´ Algebra de Boole Conjun¸õ ca A conjun¸õ ´ habitualmente lida e (and); ca e A sua representa¸õ matem´tica ´ ∧; ca a e Alberto Sim˜es o ´ Algebra de Boole

´ Algebra de Boole Conjun¸õ ca A conjun¸õ ´ habitualmente lida e (and); ca e A sua representa¸õ matem´tica ´ ∧; ca a e ∧ 0 1 0 0 0 1 0 1 Alberto Sim˜es o ´ Algebra de Boole

´ Algebra de Boole Conjun¸õ ca A conjun¸õ ´ habitualmente lida e (and); ca e A sua representa¸õ 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

´ Algebra de Boole Disjun¸õ ca A disjun¸õ ´ habitualmente lida ou (or); ca e A sua representa¸õ matem´tica ´ ∨; ca a e Alberto Sim˜es o ´ Algebra de Boole

´ Algebra de Boole Disjun¸õ ca A disjun¸õ ´ habitualmente lida ou (or); ca e A sua representa¸õ matem´tica ´ ∨; ca a e ∨ 0 1 0 0 1 1 1 1 Alberto Sim˜es o ´ Algebra de Boole

´ Algebra de Boole Disjun¸õ ca A disjun¸õ ´ habitualmente lida ou (or); ca e A sua representa¸õ 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

´ 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

´ Algebra de Boole Implica¸õ ca A implica¸õ ´ habitualmente lida implica (implies); ca e A sua representa¸õ matem´tica ´ ⇒; ca a e Alberto Sim˜es o ´ Algebra de Boole

´ Algebra de Boole Implica¸õ ca A implica¸õ ´ habitualmente lida implica (implies); ca e A sua representa¸õ matem´tica ´ ⇒; ca a e ⇒ 0 1 0 1 1 1 0 1 Alberto Sim˜es o ´ Algebra de Boole

´ Algebra de Boole Implica¸õ ca A implica¸õ ´ habitualmente lida implica (implies); ca e A sua representa¸õ 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

´ 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õ tem uma representa¸õ matem´tica oficial; a ca a Nestes slides, ser´ usado o ⊕; a Alberto Sim˜es o ´ Algebra de Boole

´ 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õ tem uma representa¸õ 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

´ 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õ tem uma representa¸õ 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

´ 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

´ 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

´ 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

´ 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

´ Algebra de Boole Leis b´sicas a Associatividade da disjun¸õ e conjun¸õ: ca ca a ∧ (b ∧ c) = (a ∧ b) ∧ c a ∨ (b ∨ c) = (a ∨ b) ∨ c Comutatividade da disjun¸õ e conjun¸õ: ca ca a∧b =b∧a a∨b =b∨a Alberto Sim˜es o ´ Algebra de Boole

´ Algebra de Boole Leis b´sicas a Associatividade da disjun¸õ e conjun¸õ: ca ca a ∧ (b ∧ c) = (a ∧ b) ∧ c a ∨ (b ∨ c) = (a ∨ b) ∨ c Comutatividade da disjun¸õ e conjun¸õ: 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

´ Algebra de Boole Leis b´sicas a Dupla Nega¸˜o ca ¬¬a = a Alberto Sim˜es o ´ Algebra de Boole

´ 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

´ 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

Álgebra de Boole

by Alberto Simões on Oct 21, 2009

Accessibility

Categories

Tags

Upload Details

Usage Rights

1 Embed 12

Statistics

Álgebra de Boole — Presentation Transcript