Practica Uft
Practica Uft
Practica Uft
Material Necesario
El álgebra booleana es un sistema matemático deductivo centrado en los valores cero y uno
(falso y verdadero). Por Ejemplo: Un operador binario " AND" definido en éste juego de valores
acepta un par de entradas y produce un solo valor booleano, es decir, el operador booleano
AND acepta dos entradas booleanas y produce una sola salida booleana.
Las expresiones booleanas se usan para determinar si un conjunto de una o más condiciones
es verdadero o falso, y el resultado de su evaluación es un valor de verdad.
Álgebra Booleana y Circuitos Electrónicos: La relación que existe entre la lógica booleana y
los sistemas de cómputo es fuerte, de hecho se da una relación uno a uno entre las funciones
booleanas y los circuitos electrónicos de compuertas digitales. Para cada función booleana es
posible diseñar un circuito electrónico y viceversa, como las funciones booleanas solo
requieren de los operadores AND, OR y NOT es posible construir circuitos lógicos
exclusivamente con estos operadores utilizando las compuertas lógicas homónimas.
Modos de representación de una función lógica: Existen distintas formas de representar una
función lógica, entre las que se pueden destacar las siguientes:
Algebraica
Por tabla de verdad
Numérica
Gráfica
Representación usando la Tabla de la Verdad: Una tabla de la verdad contiene todos los
valores posibles de una función lógica dependiendo del valor de sus variables. El número de
n
combinaciones posibles para una función de n variables vendrá dado por 2 . Una función
lógica puede representarse algebraicamente de distintas formas, pero sólo tiene una tabla de la
verdad. La forma más cómoda para ver la equivalencia entre una tabla de la verdad y una
expresión algebraica es cuando esta última se da en su forma canónica.
Por ejemplo: La función lógica: F (A,B,C) = A’.B.C’ + A.B’.C’ + A.B’.C + A.B.C’, indica que la
salida será 1 cuando lo sea uno de sus sumandos, lo que significa que tendrá por lo tanto
cuatro combinaciones que lo serán (010 para A’.B.C’, 100 para A.B’.C’, 101 para A.B’.C y 110
para A.B.C’) siendo el resto de combinaciones 0. Con la función canónica de producto de
sumas, se puede razonar de forma análoga, pero en este caso observando que la función será
0 cuando lo sea uno de sus productos.
También es fácil obtener la tabla de verdad a partir de la función simplificada, pero no así a la
inversa.
ENTRADAS SALIDA
A B C F(A,B,C)
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 0
Tabla 1
A’ + B + C’ + D’ = 01002 = 410
Para representar una función canónica en suma de productos se utiliza el símbolo Σm (sigma)
y en producto de sumas el símbolo es :ΠM (pi), donde m(M) indicará el número de variables.
Así, la representación numérica correspondiente a la tabla de verdad (Tabla 1) del punto
anterior queda como: F = Σm(2, 4, 5, 6) = ΠM(0, 1, 3, 7)
Figura 1
Pre-Laboratorio
1. Investigue los conceptos de lógica positiva y lógica negativa
2. ¿Qué significa describir algebraicamente un circuito lógico?
3. Identifique las compuertas lógicas que se muestran en el circuito
4. Identifique los pines de entrada y salida de las compuertas lógicas mostradas en el
circuito
5. Realice la descripción algebraica del circuito
a) Obtenga la función de salida del circuito
b) Elabore una tabla de la verdad del circuito
Circuito 1
Circuito 2
Circuito 3
Circuito 4
Circuito 5
Circuito 6
Actividad de Laboratorio
Compruebe experimentalmente el funcionamiento del circuito que le fue asignado.
Post laboratorio:
a) F(a,b,c,d) = (a + b’ + c’).(a + b + d’ )
b) F(a,b,c,d) = (a + b ).(b + c’).( b + d’)
c) F(a,b,c,d) = (d + c’ + b’ ).(a + b’ + c +d)
d) F(a,b,c,d) = (a + b + c’).(a’ + b + d’ )
e) F(a,b,c,d) = (a’ + b ).(b + c’).( b + d’)
f) F(a,b,c,d) = ( c’ + b’ + d ).( a’+ b +c +d)
Conclusiones
Referencias Bibliográficas
Sistemas Digitales Principios y Aplicaciones. Autor: Ronald J. Tocci
Diseño Digital. Autor: Alan B. Marcovitz
Diseño Digital Principios y Prácticas. Autor: John F. Wakerly.
http://www.monografias.com/trabajos14/algebra-booleana/algebra-booleana.shtml