Este documento describe funciones booleanas y sus operaciones lógicas como suma, producto y negación. Explica cómo representar funciones booleanas mediante tablas de verdad y formas canónicas como suma de minterminos y producto de maxterminos. También muestra cómo asociar minterminos y maxterminos con las entradas de una tabla de verdad para que la función produzca una salida de 1 o 0 respectivamente.
0 calificaciones0% encontró este documento útil (0 votos)
30 vistas25 páginas
Este documento describe funciones booleanas y sus operaciones lógicas como suma, producto y negación. Explica cómo representar funciones booleanas mediante tablas de verdad y formas canónicas como suma de minterminos y producto de maxterminos. También muestra cómo asociar minterminos y maxterminos con las entradas de una tabla de verdad para que la función produzca una salida de 1 o 0 respectivamente.
Este documento describe funciones booleanas y sus operaciones lógicas como suma, producto y negación. Explica cómo representar funciones booleanas mediante tablas de verdad y formas canónicas como suma de minterminos y producto de maxterminos. También muestra cómo asociar minterminos y maxterminos con las entradas de una tabla de verdad para que la función produzca una salida de 1 o 0 respectivamente.
Este documento describe funciones booleanas y sus operaciones lógicas como suma, producto y negación. Explica cómo representar funciones booleanas mediante tablas de verdad y formas canónicas como suma de minterminos y producto de maxterminos. También muestra cómo asociar minterminos y maxterminos con las entradas de una tabla de verdad para que la función produzca una salida de 1 o 0 respectivamente.
Ilustración de las operaciones lógicas suma y producto en una tabla de verdad
Suma Producto a b 𝐟 𝐚, 𝐛 = 𝐚 + 𝐛 a b 𝐟 𝐚, 𝐛 = 𝐚𝐛 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 1 Funciones booleanas a partir de tablas de verdad Para describir una función booleana donde nos proporcionan los valores de salida parta todas las combinaciones de las entradas es necesario los postulados y teoremas del algebra de Boole
Ejemplo
Determinar la función booleana a partir de siguiente tabla de
verdad
a b 𝑓(𝑎, 𝑏) 0 0 0 0 1 1 1 0 1 1 1 0 La función booleana estará dado por la siguiente regla de correspondencia
ത 𝑏 + 𝑎. 𝑏ത 𝑓 𝑎, 𝑏 = 𝑎.
Principio de dualidad Si analizamos los postulados veremos que los mismos se presentan de pares y en tal
forma que uno de la pareja se obtiene de otro cambiando "0" por "1" junto con las operaciones "+" por "." ( y viceversa). Esto asegura que cada propiedad que se
demuestre en esta Álgebra tiene una "dualidad" que también es cierta (para demostrar
la dualidad bastaría con repetir la demostración realizada sustituyendo cada postulado
o propiedad utilizada por su dual
Ejemplos
Postulado Dualidad ഥ=1 𝒂+𝒂 𝐚. 𝐚ത = 𝟎
a.0=0 𝐚+𝟏 =𝟏
0+0=0 1.1=1
Termino producto
Es un grupo de expresiones que se encuentran relacionadas
entre sí, por el termino AND que indica producto (.).
Ejemplo
𝐴. 𝐵, 𝐶. 𝐴, 𝑥.ҧ 𝑦. 𝑧 Termino suma
Es un grupo de expresiones que se encuentran relacionadas
entre sí, por el termino OR que indica suma (+).
Ejemplo
𝐴 + 𝐵, 𝐶 + 𝐴, 𝑥.ҧ 𝑦 + 𝑦𝑧
Termino canónico Es aquel término que es exactamente uno de cada uno de los literales o expresiones de las funciones booleanas
Termino normal
Termino normal es aquel termino producto o termino suma en el que un literal no
aparece más de una vez. Mintérmino
Es un producto booleano en la que cada variable aparece sólo una vez; es decir, es una expresión lógica que se compone de variables y los operadores lógicos AND y NOT.
Ejemplo
ത 𝑍 X.Y.Z y 𝑋. 𝑌.
Maxtérmino
Es una expresión lógica que se compone de variables y los operadores lógicos OR y NOT.
Ejemplo
X+Y+Z y 𝑋 + 𝑌ത + 𝑍 Forma canónica de una función booleana
Es aquella forma constituida exclusivamente por términos canónicos que aparecen una sola vez.
Simplificaron de la escritura forma canónica suma de productos
Para simplificar la escritura en forma de suma canónica de productos, se utiliza la notación
binaria, es decir que a cada termino (mintermino) se le asocia un numero binario de “n” bits, considerando como 0 las variables complementarias y 1 a las variables no complementarias. Consideremos el ejemplo anterior
Quiere decir el producto de los maxterminos 0,2,3.
Resumen para cada mintermino que se asocia con la combinación de entradas de la tabla de verdad, la función producirá una salida de 1, y para maxtermino que se asocia con la combinación de entradas de la tabla de verdad, la función producirá una salida de 0, a continuación se ilustrara en la siguiente tabla.
Tabla de maxterminos y minterminos asociados con cada combinación en
Expresar la siguiente función como una suma de minterminos
𝑓 𝑥, 𝑦, 𝑧 = 𝑥 + 𝑦. ത 𝑧
Solución Hay dos formas de resolver el problema
i) Establecer la tabla de verdad de la expresión, luego tomar los minterminos, es decir
se evalúa la función para todas las combinaciones de entrada, luego se toma los minterminos, para la cual la función tiene como salida 1 Luego la función expresada en suma de minterminos estará dada por
𝑓 𝑥, 𝑦, 𝑧 = σ𝑚(1,4,5,6,7), que quiere decir la suma de los minterminos 1,4,5,6,7.
ii) Aplicando los teoremas de expansión canónica para las variables faltantes
Teorema
Para obtener la forma canónica de una función suma de productos (minterminos), se multiplica por un término de la forma (𝑎 + 𝑎), ത donde falta un literal para que el término sea canónico.
Expresar la siguiente función como una suma de maxterminos
𝑓 𝑥, 𝑦, 𝑧 = 𝑥 + 𝑦. ത 𝑧
Solución De igual manera que el caso anterior hay dos formas de resolver el problema
i) Establecer la tabla de verdad de la expresión, luego tomar los maxterminos, es decir se
evalúa la función para todas las combinaciones de entrada, luego se toma los maxterminos, para la cual la función tiene como salida 0 Luego la función expresada como producto de maxterminos estará dada por
𝑓 𝑥, 𝑦, 𝑧 = (𝑥 + 𝑦 + 𝑧)( 𝑥 + 𝑦ത + 𝑧)(𝑥 + 𝑦ത + 𝑧)ҧ
En forma literal simplificada estará por
𝑓 𝑥, 𝑦, 𝑧 = ς𝑀(0,2,3), que quiere decir el producto de los maxterminos, 0,2,3.
ii) Aplicando los teoremas de expansión canónica para las variables faltantes
Teorema
Para obtener la forma canónica de una función productos sumas (maxterminos),
se suma un término de la forma (𝑎. 𝑎), ത donde falta un literal para que el término sea canónico.
