Arquitectura de Computadores Álgebra de Boole

Algebra de Boole z Álgebra de Boole en informática y matemática,

es una estructura algebraica que definen las
operaciones lógicas Y, O y NO, así como el
conjunto de operaciones unión, intersección y
complemento.
Sesión-05

Lunes, 27 de Septiembre de 2010

Álgebra de Boole (Cont.) George Boole

z Se denomina así en honor a George Boole, (2 de
noviembre de 1815 a 8 de diciembre de 1864),
matemático inglés que fue el primero en definirla como
parte de un sistema lógico a mediados del siglo XIX y
propuesta en un libro llamado “Una Investigación sobre
las Leyes del Pensamiento”.
z Específicamente, el álgebra de Boole fue un intento de
utilizar las técnicas algebraicas para tratar expresiones
de la lógica proposicional.
z En la actualidad, el álgebra de Boole se aplica de forma
generalizada en el ámbito del diseño electrónico.
z Claude Shannon fue el primero en aplicarla en el diseño
de circuitos de conmutación eléctrica biestables, en
1938.
Álgebra de Boole (Cont.)
Álgebra de Boole (Cont.)
El Algebra de Boole es un sistema matemático
cerrado que consiste en un conjunto P de dos z Asociatividad
o más elementos y dos operaciones llamadas: ∀ A, B, C ∈ P
– OR (+) y A + (B + C) = (A + B) + C
– AND (.) A . (B . C) = (A . B) . C
Que cumplen con los siguientes axiomas: z Distributividad
z Conmutatividad: ∀ A, B, C ∈ P
∀ A, B ∈ P A + (B . C) = (A + B) . (A + C)
A + B = B +A
A . (B + C) = (A . B) + (A . C)
A.B=B.A

Algebra de Conmutación
Álgebra de Boole (Cont.)
z Postulado de Hungtinton: Considera al
z Existen elementos neutros 0 y 1
conjunto P como:
∀A∈P
A+0=A
P = 0, 1
A.1=A z El postulado de Hungtinton define un caso
z Existencia de Complemento especial del Algebra de Boole llamada
Algebra de Conmutación.
∀A∈P
A+Ä=1 z De aquí en adelante es esta algebra la que se
A.Ä=0 utilizará para la modelación de los sistemas
digitales.
 Definiciones Definiciones (cont.)

z Variable: Son símbolos que pueden
representar cualquier valor de P.
z El valor de las variables puede cambiar en el
transcurso del tiempo.
z El concepto es igual a variables de los
leguajes de programación.
z Constante: Son símbolos que representan
sólo un valor de P para cualquier instante de
tiempo.
z Su concepto es igual a constante de los
lenguajes de programación.
Constante

A 1
Alarma Alarma
Start Start
 Teoremas

z De los axiomas anteriores se desprenden un

conjunto de teoremas. La forma de
demostración es:
– Aplicando axiomas
– Por Inducción
z Se verán un conjunto de teoremas que sirven
para trabajar con las expresiones de
conmutación dándoles un sentido práctico

Teoremas (cont.)

z Teorema 1: Operaciones básicas

1+0=1 1*1=1
0+0=0 0*1=0

Se demuestra aplicando el Axioma 4

A+0=A A*1=A