Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Clase 04:
Algebra de Boole
Introduccin
George Boole
El matemtico ingls George Boole naci el 2 de
noviembre de 1815 en Lincoln y falleci el 8 de
diciembre de 1864 en Ballintemple, Irlanda.
Boole recluy la lgica a una lgebra simple.
Tambin trabaj en ecuaciones diferenciales, el
clculo de diferencias finitas y mtodos generales
en probabilidad.
Algebra de Boole
Proporciona una notacin para describir funciones lgicas y define un
nmero de operaciones que se pueden realizar con el fin de
simplificarlas. El lgebra de Boole define variables, constantes y
funciones para describir sistemas binarios, y una serie de teoremas que
permiten manipular expresiones lgicas.
Constantes booleanas: Se definen dos: 0 (estado FALSO) y 1
(VERDADERO).
Variables booleanas: Son magnitudes que pueden tomar
diferentes valores en diferentes momentos. Pueden representar
seales de entrada o de salida y reciben nombres de caracteres
alfabticos como: A, B, X, Y. Slo pueden tomar los valores 0 o 1.
Funciones booleanas: Describen el comportamiento del sistema.
Cada operacin lgica (suma, multiplicacin, negacin, ...) posee una
notacin en el lgebra booleana, como se muestra en la Tabla 1.
Algebra de Boole
El lgebra booleana es la teora matemtica que se aplica en la lgica
combinatoria.
Las variables booleanas son smbolos utilizados para representar
magnitudes lgicas y pueden tener slo dos valores posibles: 1 (valor
alto) 0 (valor bajo).
Operadores:
Operador AND
.
Operador OR
+
Operador NOT
AB = BA
El orden en la AND no importa
A.(B.C) = (A.B).C
Agrupar variables en la AND no importa
A
B
C
A+(BC)
U7 SN7408
(BC)
U1 SN7432
(A+B)
U3 SN7408
(A+B) .( A+C)
U2 SN7432
(A+C)
U9 SN7408
A
B
C
A (B+C)
U10 SN7432
U4 SN7408
(A B)
U6 SN7432
(A B)+( AC)
U5 SN7408
(B+C)
(A C)
U11 SN7432
X=A
A
X=A
10
Axioma:
TP1
A1=A
Hacer una operacin AND con 1 no cambia nada
V++
A
U12 SN7408
X=A
A
X=A
X
11
A
A
X=1
12
A
A
X=0
13
X=1
X
14
A
X=0
X
15
Teorema: A+A = A
(T. Idempotencia)
A=A
16
Teorema: AA = A
(T. Idempotencia)
A=A
17
X=A
18
Teorema: A + AB = A
A
B
(T. Absorcin I)
19
Si A es 0 la salida
A
B
X
Y
X=Y
20
21
22
23
Un conjunto B dotado con dos operaciones algebraicas, ms (+) y por (), es
un lgebra de Boole, s y slo s se verifican los siguientes postulados:
POSTULADOS
SUMA
PRODUCTO
A + B = B + A (Conmutativa)
A + (B + C) = (A + B) + C (Asociativa)
A + (B C) = (A + B) (A + C) (Distributiva)
A + 0 = A (Elemento neutro)
A + A' = 1 (Complementario)
A B = B A (Conmutativa)
A (B C) = (A B) C (Asociativa)
A (B + C) = (A B) + (A C) (Distributiva)
A 1 = A (Elemento neutro)
A A' = 0 (Complementario)
TEOREMAS
A + A = A (Idempotencia)
A+1= 1
A + (A B) = A (Absorcin)
(A + B)' = A' B' (T. Morgan)
(A')' = A
A + (A' B) = A + B
(A B) + (A B') = A
A A = A (Idempotencia)
A 0= 0
A (A + B) = A (Absorcin)
(A B)' = A' + B' (T. Morgan)
(A')' = A
A (A' + B) = A B
(A + B) (A + B') = A
24
(A + B) (CD) = (A + B) + (CD) = A + B + CD
X e Y son
iguales
26
= A B C (C +D +B)
= A B C C + A B C D +A B C B
=ABCD
Los
circuitos
son iguales
28
Ejemplo 3
Puerta a puerta a partir de sus entradas
X= AB+(C+D)
X= AB + C+ D
29
Ejemplo 4
X = (AB)(CD)
X = ABCD
30
Ejemplo 5
X = ABCD +A
Simplificando:
X = A + BCD
31
Ejemplo 6
32
X = (AB+)BC
X = ABC + BC
X = ABC + 0C
X = ABC + 0
X = ABC
33
Ejemplo 7
34
X = ( +AB) +((C+D))
X = (A + B) + ((C + D))
X = (A + B) + (BC + BD)
X = A + B + BC + BD
X = A + B + C + BD
Ejemplo 7
36
Operaciones Lgicas
Ejemplos: F(A, B, C)=
A.B.C = 1, si todas las variables son 1
= 0, si alguna es 0
A+B+C = 1, si alguna variable es 1
= 0, si todas son 0
37
Ejemplo 8
Puerta {A}, Ascensor {B}, Bajarse {Z}
Z=A.B
38
f ( A B C )(C E )( B C D)( D E )
f ( B C AD)(CD CE ED EE)
f B ED C D C E
f (C D)(C E )( B E D)
f (C E D)( B E D)
f CB CE C D E DB EED E D D
f EC E D C D BC
f EC E D BC
Producto de sumas
Y=(A+B+C)(D+C)(E+F)
40
41
La funcin F es 0 (o bien F es 1)
cuando ABCD=0010
o cuando ABCD=0100
o cuando ABCD=0111
o cuando ABCD=1101
y as sucesivamente
De Morgan
o cuando ABCD=1010
F=ABCD+ABCD+ABCD+ABCD+ABCD
F=(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)
F es producto de sumas
42
Resumen
43
Bibliografa
Diseo Digital 3 Edicin Morris Mano
http://books.google.com.pe/books?id=8WhBtfnaenkC&
printsec=frontcover&hl=es#v=onepage&q&f=false
Logic and Boolean Algebra, Kathleen and Hilbert
Levitz