Álgebra Booleana
Álgebra Booleana
Álgebra Booleana
ÁLGEBRA DE BOOLE
UN AVANCE A NIVEL COMPUTACIONAL
Profesor: Integrantes:
Ing. Jose Brito Guanipa, Andres C.I: 00.000.000
Mendez, Marcelo C.I: 00.000.000
Molina, Adrian C.I: 00.000.000
Velazco, rafael velazco C.I: 00.000.000
5. Leyes Booleanas
Teoremas de Morgan
Funciones de Álgebra booleana
Análisis Booleano de Circuitos Lógicos
Simplificación Mediante el Álgebra de Boole
6. Puertas Lógicas
BUFFER’s YES (IF)
NOT (INVERSOR)
OR
NOR
AND
NAND
XOR (OR-EX)
XNOR (NOR-EX)
7. Simplificación de Funciones
Mapas de Karnough
Introducción
En el año 1847, la humanidad dio el primer paso hacia un avance tecnológico
exponencial cuando por primera vez “George Boole” estructuró una forma simple de
emplear las “Técnicas Algebráicas” para manejar expresiones de la “Lógica
Proposicional”.
Dicho de esta forma suena muy sencillo e, inclusive, sin importancia. No obstante, la
manera en que el “Álgebra Booleana” unifica los conceptos algebráico con los
enunciados lógicos seria de vital importancia en años posteriores, no solo origen el
nacimiento de las máquinas de computo sino que también, para el entendimiento y
funcionalidad de las mismas.
Eventualmente, en la actualidad, el “Álgebra Boolena” esta siendo empleada para la
creación de nuevos equipos computacionales cada vez mas potentes y eficaces,
valiéndose de la optimización de circuitos (Los cuales permiten que una máquina
opere). Adicionalmente, esta forma de ver los enunciados lógicos permite entender los
valores de “True” y “False” como lenguaje binario empleando el uso de “1” y “0”, lo cual
facilita el estudio del lenguaje máquina.
Con todo lo anteriormente descrito, es importante destacar que, el “Álgebra
Boolena” ha podido unificar los concepto matemáticos con los enunciados lógicos
conectándolos de manera sublime y, gracias a ello, ha aportado a una gran variedad de
campos en estudio.
Desarrollo
1. Álgebra Booleana
Características
Postulados
Teoremas Operativos
Idempotencia: a+a= a
a.a=a
de Morgan: a+b = a . b
a.b=a+b
S = A*B
Dec A B S =A*B
0 0 0 0
1 0 1 0
2 1 0 0
3 1 1 1
S = A+B
Dec A B S=A+B
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
S=A
A S=A
0 1
1 0
Dec A B S=AB
0 0 0 1
1 0 1 1
2 1 0 1
3 1 1 0
lo que, es necesario estudiar las siguientes operaciones Booleanas:
Función “NAND”
S = AB
Función “NOR”
S = A+B
Dec A B S = A+B
0 0 0 1
1 0 1 0
2 1 0 0
3 1 1 0
Representación de la Puerta “NOR”
Función Lógica “XOR”
S=A*B+A*B
Dec A B S = A * B +
A*B
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 0
S=A*B+A*B
Dec A B S = A*B+A*B
0 0 0 1
1 0 1 0
2 1 0 0
3 1 1 1
4.
1. Expresiones booleanas
Donde:
expresión-1: Es una expresión numérica o de cadena.
operador-de-relación: Es uno de los siguientes:
- = Igual
- <> No igual (diferente de)
- < Menor que
- <= Menor o igual que
- > Mayor que
- >= Mayor o igual que
- : Contiene (puede ser usado sólo en expresiones de cadena)
expresión-2: Es una expresión del mismo tipo que expresión-1, es decir,
expresión-1 y expresión-2 deben ser ambas expresiones numéricas o ambas
expresiones de cadena.
v10 : 'química'
Al evaluar expresiones
booleanas, y en ausencia de
paréntesis, ejecutará las
operaciones NOT en primer lugar,
después las operaciones AND, y
finalmente las OR. Las series de
dos o más operadores del mismo
nivel, se ejecutan de izquierda a
derecha. Se pueden usar
paréntesis para alterar el orden de evaluación: las expresiones dentro de
paréntesis se evalúan antes, y las expresiones entre paréntesis internos a
otros, son evaluadas antes que las expresiones externas a los paréntesis.
2. Funciones booleanas
F(a) = a
F (0)=1 F (1)= 0
Vamos a definir una función un poco más compleja, usando dos variables
booleanas, a y b:
F (a, b) = (a + b). b
¿Cuánto vale F (0,0)? Sólo hay que sustituir en la función los valores de a y b
por ’0’, obteniéndose: F (0,0) = (0+0).1 = 0.1 = 0
a) a=0, b=0
b) a=0, b=1
c) a=1, b=0
d) a=1, b=1
Y en esos casos:
a) F (0,0) = 0
b) F (0,1) = 0
c) F (1,0) = 1
d) F (1,1) = 1
¿Cuánto vale G si a=0 y b=1? Miramos la tabla y vemos que G vale 1. Esta
forma de definir funciones booleanas es muy sencilla. El número de filas de la
tabla de verdad depende del número de variables que usemos y es igual al
número de combinaciones, o sea n = 2 número de filas = 2^2 = 4 ¿Cuántas filas
tendría la tabla de la verdad de una función con 3 variables?
Se puede observar que existen 5 Mini términos los cuales son aquellos
f = ( a + b + c ). ( a + b + c ). ( a + b+ c )
Se puede observar que existen 3 Maxi términos los cuales son aquellos
resultados donde la función vale “0”. De acuerdo con lo indicado con
anterioridad.
f = ( a + b + c ) . ( a + b + c) . ( a + b + c )
3- Ley idempotente - una entrada que está Y 'ed o OR 'ed con ella misma es
igual a la entrada
1- Dos términos separados NOR 'ed juntos es el mismo que los dos términos
invertidas (complemento) y Y 'ed por ejemplo: A + B = A . Segundo
2- Dos términos separados NAND ´ed juntos son los mismos que los dos
términos invertidos (Complemento) y OR eded por ejemplo: AB = A + B
b) Ley de absorción: esta ley permite reducir una expresión complicada a una
más simple al absorber términos semejantes.
c) Ley asociativa: esta ley permite eliminar corchetes de una expresión y
reagrupar las variables.
Funciones de álgebra booleana
Muchas veces, a la hora de aplicar el álgebra booleana, hay que reducir una
expresión a su forma más simple o cambiarla a una forma más conveniente
para conseguir una implementación más eficiente. •Este método de
simplificación utiliza las reglas, leyes y teoremas del Álgebra de Boole para
manipular y simplificar una expresión.
5. Puertas Lógicas
Las puertas o compuertas lógicas, son una invención producto del trabajo
de George Boole. Durante los últimos 17 años de su vida Boole estableció el
concepto de lógica algebraica en matemáticas y simplificó el mundo en
enunciados básicos que tenían por respuesta ‘SÍ’ o ‘NO’, utilizando para ello
aritmética binaria. Conociendo que el trabajo de Boole nos dejó como
planteamiento fundamental, las leyes de la lógica. Boole, como pionero de la
(actualmente) conocida ‘lógica computacional’, el conjunto de operadores lógicos
(verdadero y falso) son utilizados en su sistema de aritmética binaria (0,1) para
representar dos estados de un componente; abierto o cerrado, conecta o no
conecta, lleno o vacío, conduce o no conduce, todo o nada, sí o no, verdadero o
falso, y así sucesivamente. Gracias al álgebra de Boole, diversos científicos han
desarrollado métodos, utilizando estos conceptos para estudiar los circuitos de
conmutación. Por consiguiente, la síntesis lógica de las herramientas modernas
de automatización electrónica se representa de manera eficiente mediante el
uso de funciones booleanas conocidas como "Diagramas de decisión binarios".
Las compuertas lógicas, utilizan lógica digital, la cual dicta que los circuitos
operan con valores [0, 1], que pueden ser interpretados lógicamente como
[Falso, Verdadero]. Y se rigen por los diagramas de decisiones binarios, ya que
los circuitos booleanos en las computadores digitales implementan funciones
booleanas.
En este caso veremos las ocho compuertas lógicas básicas: AND, OR, NOT,
IF (BUFFER), NOR, NAND, XOR y XNOR. Y son las siguientes:
BUFFER’s YES (IF)
OR
XOR (OR-EX)
Problema N 1.-
Problema N 2.-
Problema N 3.-
Problema N 4.-
Teoremas Implementados:
z.x + z.x’.y
z (x + x’.y)
z (x + x’) (x + y) X + Z.Y =(X+Z) (X+Y)
z (1) (x + y)
z (x+y)
Resultado: z (x + y)
Problema N 5.-
Vamos a indicar cada uno de los pasos para obtener la expresión MSP
(mínima suma de productos). Para ello vamos a ilustrarlo con el ejemplo:
Algebraicamente.
Construyendo una tabla de verdad, trasladando los valores al
mapa de Karnaugh. Esta es la forma que vamos a utilizar.
Y Z Resultado
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0
Rectángulos y productos.
Cada rectángulo representa un término. El tamaño del rectángulo y el
del término resultante son inversamente, es decir que, cuanto más largo
sea el rectángulo menor será el tamaño del término final.
En general, si tenemos una función con n variables :
Un rectángulo que ocupa una celda equivale a un término con n
variables.
Un rectángulo que ocupa dos celdas equivale a un término con n-1
variables.
Un rectángulo que ocupa 2n celdas equivale al término de valor 1.
Agrupación de rectángulos.