lgebra Booleana lgebra booleana ou lgebra de Boole: lgebra criada pelo matemtico ingls George Boole (18151864).

A lgebra booleana constituda de:

Um conjunto de elementos B = {0, 1} Uma operao binria + (OU lgico OR) Uma operao binria . (E lgico AND)

Postulados (a e b B)
P1 - OU e E comutativos i) a + b = b + a ii) a . b = b . a P2 - OU e E distributivos i) a + (b . c) = (a + b) . (a + c) ii) a . (b + c) = (a . b) + (a . c) P3 - Identidade em relao ao OU e ao E i) a + 0 = 0 + a = a ii) 1 . a = a .1 = a P4 - Elemento complementar i) a + a/ = 1 ii) a . a/ = 0

EA772 Circuitos Lgicos - Prof. J.M. De Martino

10

lgebra Booleana Precedncia

E tem precedncia sobre OU Parentses podem ser utilizados para forar a precedncia

Princpio da Dualidade
Toda identidade algbrica dedutvel dos postulados permanece vlida se: + for trocado por . e vice-versa O elemento 0 for trocado por 1 e vice-versa

Teoremas
Teorema 1: Todo elemento de B tem um complemento nico Teorema 2 i) a + 1 = 1 ii) a . 0 = 0 Teorema 3 i) 0/ = 1 ii) 1/ = 0

EA772 Circuitos Lgicos - Prof. J.M. De Martino

11

lgebra Booleana
Teorema 4: Lei da Idempotncia i) a + a = a ii) a . a = a Teorema 5: Lei da Involuo (a/)/ = a Teorema 6: Lei da Absoro i) a + a . b = a ii) a . (a + b) = a Teorema 7 i) a + a/ . b = a + b ii) a . ( a/ + b ) = a . b Teorema de De Morgan i) (a + b)/ = a/ . b/ ii) (a . b)/ = a/ + b/ Generalizao do teorema de De Morgan (a + b ... + c + d) / = a/ . b/ ... c/ . d/ (a . b ... c . d)/ = a/ + b/ .... + c/ + d/

EA772 Circuitos Lgicos - Prof. J.M. De Martino

12

lgebra Booleana Propriedade associativa

i) a + (b + c) = (a + b) + c ii) a (b c) = (a b) c Por conveno o smbolo . pode ser omitido

EA772 Circuitos Lgicos - Prof. J.M. De Martino

13

lgebra Booleana Definio das operaes

Operao + (OU OR) 0+0=0 0+1=1 1+0=1 1+1=1 Operao . (E AND) 0.0=0 0.1=0 1.0=0 1.1=1 Operao / (NO NOT) complementao ou negao 0/ = 1 1/ = 0

EA772 Circuitos Lgicos - Prof. J.M. De Martino

14