Algebra de Boole

Algebra de Boole
{U, +, , , 0, 1}, donde: + y : operaciones binarias : operacin del complementario 0 e 1: cotas universales

Propiedades del lgebra de Boole Para todo a,b,c se cumple 1. Asociativa: a+(b+c) = (a+b)+c a(bc) = (ab) c 2. Conmutativa: a+b = b+a ab = ba 3. Distributiva: a+(bc) = (a+b)(a+c) a(b+c) = (ab)+(ac) 4. Idntico o Neutro: 1. Existe 0 tq 0 + a = a 2. Existe 1 tq 1 . a = a 5. Complemento u opuestos: Tercio excluso: a a=0 No contradiccin: a+a=1

Principio de dualidad
Adicin 1 2 3 4 5 6 A + A' = 1 A+0=A A+1=1 A+A=A A+B=B+A A + (B + C) = (A + B) + C Producto A A' = 0 A1=A A0=0 AA=A AB=BA A (B C) = (A B) C

7
8 9

A + B C = (A + B) (A + C)
A+AB=A (A + B)' = A' B'

A (B + C) = A B + A C
A (A + B) = A (A B)' = A' + B'

Algebra de Boole: conjuntos y funciones

Funcin Booleana Una funcin booleana es una aplicacin de A x A x A x....A en A, siendo A un lgebra de Boole