Download Alboole

Document related concepts

Lógica binaria wikipedia , lookup

Álgebra de Boole wikipedia , lookup

Álgebra de Cantor wikipedia , lookup

Formas canónicas (álgebra de Boole) wikipedia , lookup

Lógica cuántica wikipedia , lookup

Transcript
1
ÁLGEBRA BOOLEANA.
1.1 INTRODUCCIÓN AL ÁLGEBRA BOOLEANA.
En 1854 George Boole presentó un tratamiento sistemático de la lógica, y desarrolló para este
propósito un sistema algebraico que ahora se conoce como álgebra booleana. Se trata de una
estructura algebraica definida en un conjunto de elementos junto con dos operadores binarios
“+” (suma) y “.” (multiplicación). El símbolo “+” representa la operación lógica “o” (en inglés
“OR”), el símbolo “.” representa la operación lógica “y” (en inglés “AND”). En 1938 C. E.
Shannon presentó un álgebra booleana de dos valores denominada álgebra de interruptores,
en la cual demostró que las propiedades de los circuitos eléctricos y estables con interruptores,
pueden manejarse con esta álgebra. Para la definición formal del álgebra booleana, se emplean
los postulados formulados por E. V. Hungtington en 1904. Estos postulados o axiomas no
son únicos para definir el álgebra booleana. Se han usado otros conjuntos de postulados.
El álgebra booleana se parece en algunos aspectos al álgebra ordinaria. La elección de los
símbolos “+” y “.” es intencional para facilitar las manipulaciones algebraicas booleanas por
las personas que ya están familiarizadas con el álgebra ordinaria. Aunque puede utilizarse
cierto conocimiento del álgebra ordinaria para tratar con el álgebra booleana, el principiante
debe tener cuidado de no sustituir las reglas del álgebra ordinaria cuando no son aplicables.
1.2 TABLAS DE VERDAD Y COMPUERTAS LÓGICAS BÁSICAS.
Una tabla de verdad sirve para enumerar todas las combinaciones posibles de una operación
lógica tanto de entrada con sus respectivas salidas. Por ejemplo la operación lógica “Y”
(AND) para dos entradas se muestra a continuación:
Instituto Tecnológico de Sonora. Sistemas Digitales I. M. C. Oswaldo García Sánchez. [email protected]
2
ENTRADAS
SALIDA
A
B
X
0
0
0
0
1
0
1
0
0
1
1
1
En esta tabla observamos que la salida sólo es “1” cuando ambas entradas son “1”
La operación lógica AND se simboliza mediante la compuerta.
La compuerta AND es una de las compuertas básicas con la que se construyen funciones
lógicas. Una compuerta AND puede tener dos o más entradas y realiza la operación que se
conoce como multiplicación lógica.
Otra compuerta básica es la que realiza la función lógica “O” (en inglés OR) la cual puede
tener dos o más entradas y realiza la operación que se conoce como suma lógica. Su tabla de
verdad es:
ENTRADAS
SALIDA
A
B
X
0
0
0
0
1
1
1
0
1
1
1
1
En esta tabla anterior observamos que la salida es “1” cuando cualquiera de las entradas es
“1”. La operación lógica OR se simboliza mediante la compuerta
Instituto Tecnológico de Sonora. Sistemas Digitales I. M. C. Oswaldo García Sánchez. [email protected]
3
Una tercera tabla de verdad y compuerta lógica básica presenta la operación negación (en
inglés NOT).
ENTRADA A
SALIDA X
0
1
1
0
La operación negación está simbolizada por la compuerta:
1.3 POSTULADOS Y AXIOMAS.
Las reglas del álgebra de Boole están compuestas por postulados y teoremas. Los postulados
son axiomas básicos de la estructura algebraica y no necesitan prueba. Los teoremas deben
probarse mediante los postulados.
POSTULADOS BÁSICOS:
1) 0*0 =0
2) 0*1= 0
3) 1*0 =0
4) 1*1 = 1
5) 0 + 0 = 0
Instituto Tecnológico de Sonora. Sistemas Digitales I. M. C. Oswaldo García Sánchez. [email protected]
4
6) 0 + 1 = 1
7) 1 + 0 = 1
8) 1 + 1 = 1
9) 0 = 1
10) 1 = 0
junto con las expresiones anteriores, también podemos enunciar los siguientes postulados:
11) x + 0 = x
12) x * 1 = x
13) x + y = y + x
postulado conmutativo
14) xy = yx
postulado conmutativo
15) x(y + z) = xy + xz
postulado distributivo
16) x + yz = (x + y)(x + z)
postulado distributivo
17) x + x = 1
18) x*x = 0
1.4 TEOREMAS DEL ÁLGEBRA BOOLEANA.
Los teoremas deben probarse mediante los postulados. A continuación se deducen algunos
teoremas del álgebra de Boole con el conocimiento de los postulados vistos anteriormente.
TEOREMA 1:
x+x= x
DEDUCCIÓN:
x + x = (x + x)*1
por el postulado 12
= (x + x )(x + x)
17
= x + x*x
18
=x+0
11
=x
EJERCICIOS: Deducir los teoremas que se indican a continuación:
Instituto Tecnológico de Sonora. Sistemas Digitales I. M. C. Oswaldo García Sánchez. [email protected]
5
TEOREMA 2: x*x = x
(sugerencia: sumar 0 al término x*x)
DEDUCCIÓN:
TEOREMA 3: x + 1 = 1 (sugerencia: multiplicar por 1 al binomio x + 1 )
DEDUCCIÓN:
TEOREMA 4: x + xy = x (sugerencia multiplicar x por 1)
DEDUCCIÓN:
De una manera similar, se pueden deducir los siguientes teoremas:
6) x * 0 = 0
7) x = x
involución
8) x + (y + z ) = (x + y) + z
asociativo
9) x(yz) = (xy)z
asociativo
10) x(x + y) = x(1 + y) = x
redundancia
11) x + x y = x + y
12) x y + y z + y z = x y + z
13) x (x + y) = x y
TEOREMAS DE DEMORGAN
1) (x + y) = x * y
2) x*y = x + y
Instituto Tecnológico de Sonora. Sistemas Digitales I. M. C. Oswaldo García Sánchez. [email protected]
6
PROPIEDADES DEL ÁLGEBRA DE BOOLE
INTERPRETADAS MEDIANTE INTERRUPTORES.
Los postulados y teoremas del álgebra de Boole los podemos agrupar como propiedades de ese
sistema algebraico, y otra manera muy práctica de entender cada uno de ellos es mediante
circuitos con interruptores eléctricos.
EJERCICIO: Deduce la expresión del segundo miembro en cada ecuación o regla del álgebra
booleana mediante interruptores realizando un circuito eléctrico equivalente. Nota el operador
multiplicación está representado con asterisco (*).
PROPIEDAD
CIRCUITO EQUIVALENTE
x + 0 = _________
x + 1 = _________
x + x = ________
x + x = _______
x * 0 = _____
x * 1 = _____
x * x = ____
Ley de identidad
Instituto Tecnológico de Sonora. Sistemas Digitales I. M. C. Oswaldo García Sánchez. [email protected]
7
x * x = ____
Involución
x = _____
x + y = ______
Ley conmutativa
x*y = _______
Ley asociativa
x + (y + z ) = _________ Ley asociativa
x(yz) = _________
Ley asociativa
x(y + z) = __________
Ley distributiva.
x + xz = _______
Redundancia
x(x + y) = ________
Absorción, redundancia
Instituto Tecnológico de Sonora. Sistemas Digitales I. M. C. Oswaldo García Sánchez. [email protected]
8
(x + y)(x + z)=________
x + x y = _________
xy+yz+yz=xy+z
x + (y * z) = (x + y )*(x + z)
x (x + y) = x y
1.5 OPERACIONES BÁSICAS
I.- Simplifica las siguientes expresiones booleanas a un número mínimo de literales:
1.- x + x y =
2.- x( x + y ) =
Instituto Tecnológico de Sonora. Sistemas Digitales I. M. C. Oswaldo García Sánchez. [email protected]
9
3.- x y z + x y z + x y =
II.- Utilizando los teoremas de DEMORGAN realiza lo que se indica en cada punto:
1.- Expresa como suma de productos, negando Z:
Z = (A + C)*(B + D)
2.- Expresa como suma de productos, negando Z:
Z = A + B*C
3.- Expresa como productos de sumas, negando f:
f = abc + bcd
BIBLIOGRAFÍA:

DEMPSEY, JOHN A. Electrónica digital básica con aplicaciones MSI. México 1987.
Fondo Educativo Interamericano.

FLOYD, T. L. Fundamentos de sistemas digitales. Sexta edición Madrid1997.
Editorial Prentice Hall.

MANO, MORIS. Diseño digital. México, 1987. Editorial Prentice Hall.
.
Instituto Tecnológico de Sonora. Sistemas Digitales I. M. C. Oswaldo García Sánchez. [email protected]