Download - Algebra Boole
![Page 1: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/1.jpg)
Sistemas Digitales 1
Algebra de Conmutación y
Circuitos Lógicos
![Page 2: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/2.jpg)
Sistemas Digitales 2
Tabla de Contenido
Introducción
Algebra de conmutación
Manipulación algebraica
Operaciones lógicas
Implementación de funciones lógicas
Introducción a los Mapas de Karnaugh
Propiedades de las compuertas NAND y
NOR
![Page 3: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/3.jpg)
Sistemas Digitales 3
Introducción
En la unidad anterior llegamos hasta la transformación de un problema digital en su equivalente tabla de verdad, en un formato binario, esto sería suficiente para construcción de sistemas que usen memorias de solo lectura (ROM), para realizar la implementación de estos sistemas con otro tipo de componentes (compuertas lógicas) es necesario tener una descripción algebraica de estos sistemas.
De lo dicho anterior, podemos concluir que necesitamos el álgebra para: Interpretar o describir una red de compuertas que componen el
sistema digital.
Permite simplificar y minimizar la cantidad de lógica usada en un sistema.
Es básica en el proceso de implementación de una red de compuertas.
![Page 4: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/4.jpg)
Sistemas Digitales 4
Definición del Algebra de Conmutación
Es el conjunto axiomático que normaliza las
operaciones que podrán existir en un
ambiente con variables binarias, esto es,
variables que puedan asumir únicamente dos
valores, incluso, variables que físicamente no
son binarias, pero pueden ser representadas
en términos binarios.
![Page 5: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/5.jpg)
Sistemas Digitales 5
Operadores del Algebra de Conmutación
OR (suma lógica)
Símbolos: + , V
a + b (se lee: a or b), y es 1 sí y sólo sí a=1 ó b=1 ó
ambos.
AND (producto lógico)
Símbolos: . , Λ, o simplemente dos variables seguidas
a . b (se lee: a and b), y es 1 sí y sólo sí a=1 y b=1.
NOT (negación, complemento)
Símbolos: ’
a’ (se lee: not a , a negado), y es 1 sí y sólo sí a=0.
![Page 6: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/6.jpg)
Sistemas Digitales 6
Tablas de verdad para las operaciones OR.
AND y NOTa b a + b
0 0 0
0 1 1
1 0 1
1 1 1
a b ab
0 0 0
0 1 0
1 0 0
1 1 1
a a’
0 1
1 0
![Page 7: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/7.jpg)
Sistemas Digitales 7
Propiedades del Algebra de
Conmutación
(Postulados y Teoremas)
![Page 8: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/8.jpg)
Sistemas Digitales 8
Propiedad Conmutativa
Las operaciones OR y AND son
conmutativas
P1a. a + b = b + a
P1b. a . b = b . a
Note que el valor para las combinaciones en
la tabla de verdad para las segundas y
terceras líneas son iguales
![Page 9: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/9.jpg)
Sistemas Digitales 9
Propiedad Asociativa (1)
Las operaciones OR y AND son asociativas
P2a. (a+b)+c = a+(b+c)
P2b. (a.b).c = a.(b.c)
Esta propiedad es mencionada como la Ley
Asociativa, declara que el orden de los
factores no altera el resultado.
Esta propiedad nos ayuda a establecer
algunas particularidades de las operaciones
OR y AND.
![Page 10: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/10.jpg)
Sistemas Digitales 10
Propiedad Asociativa (2)
OR
a+b+c+d+…. Es 1 si cualquiera de las variables
es 1 y es 0 sólo si todas las variables son 0.
AND
abcd …. Es 1 si todas las variable son 1 y es 0 si
cualquiera de las variables es 0.
![Page 11: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/11.jpg)
Sistemas Digitales 11
Las compuertas (1)
Es el elemento básico en los sistemas
digitales.
Es un elemento con una sola salida que
implementa una de las funciones básicas
como AND y OR.
Está disponibles en configuraciones de dos,
tres, cuatro y ocho entradas.
![Page 12: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/12.jpg)
Sistemas Digitales 12
Las compuertas (2)
Símbolos para OR y AND
![Page 13: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/13.jpg)
Sistemas Digitales 13
Implementación para la propiedad 2b
![Page 14: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/14.jpg)
Sistemas Digitales 14
Símbolo para la compuerta NOT
El circulo al final del triángulo es la representación de la negación
![Page 15: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/15.jpg)
Sistemas Digitales 15
Identidad
Existen 2 elementos neutros, el 0 y el 1,
cumpliéndose la propiedad en dos de los
casos, quedando como 1 y 0 lógicos en los
otros dos (ver teorema 2):
P3a. a.1 = a (identidad)
P3b. a+0 = a (identidad)
![Page 16: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/16.jpg)
Sistemas Digitales 16
Nulo
Casos en que no se cumple la propiedad de
elemento neutro, pero existen y se definen
de esta forma.
P4a. a.0 = 0
P4b. a+1 = 1
![Page 17: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/17.jpg)
Sistemas Digitales 17
Complemento
Existe el elemento complementario para
cada variable binaria y el resultado para cada
operación es el que sigue.
P5a. a + a’ = 1
P5b. a . a’ = 0
![Page 18: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/18.jpg)
Sistemas Digitales 18
Idempotencia
La suma o producto de dos variables iguales
equivale a la misma variable
P6a. a+a = a
P6b. a.a = a
![Page 19: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/19.jpg)
Sistemas Digitales 19
Involución
Para todo elemento de un álgebra de boole
se cumple que:
P7. (a’)’=a
![Page 20: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/20.jpg)
Sistemas Digitales 20
Distributiva
Ambas operaciones son distributivas
P8a. a(b+c) = (ab)+(ac)
P8b. a+bc = (a+b)(a+c)
(Este postulado no existe para el álgebra común)
![Page 21: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/21.jpg)
Sistemas Digitales 21
Adyacencia
Se define de la siguiente forma:
P9a. ab + ab’= a
P9b. (a+b)(a+b) = a
![Page 22: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/22.jpg)
Sistemas Digitales 22
Simplificación
Es una combinación de las propiedades
distributivas y asociativas, se usa
comúnmente en la simplificación de
funciones.
P10a. a + a’ b = (a’ + a) (a+b) = a+b
P10b. a (a’ + b) = a’ a + a b = ab
![Page 23: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/23.jpg)
Sistemas Digitales 23
Absorción
Ley de Absorción.
P11a. a + ab = a
P11b. a(a + b) = a
![Page 24: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/24.jpg)
Sistemas Digitales 24
Ley de De Morgan
Ley de De Morgan.
P12a. (a + b + c + ...) ' = a' . b' . c' . ...
P12b. ( a . b . c. ... ) ' = a' + b' + c' + ...
![Page 25: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/25.jpg)
Sistemas Digitales 25
Manipulación de Funciones
Algebraicas
![Page 26: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/26.jpg)
Sistemas Digitales 26
La simplificación
El proceso de la simplificación consiste en
aplicar los postulados y teoremas del álgebra
de Boole para llegar a la expresión más
simple de la ecuación, esta, se presentará
normalmente en su forma de sumatoria de
productos de mínima.
![Page 27: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/27.jpg)
Sistemas Digitales 27
Ejemplo de simplificación
F = xy’(z+x+zy’)
F=xy’z+xy’x+xy’zy’
F=xy’z+xy’+xy’z
F=xy’z+xy’
F=xy’
Simplificar:
x’yz’ + x’yz + xy’z’ + xy’z + xyz
![Page 28: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/28.jpg)
Sistemas Digitales 28
Sobre la simplificación
No existe una metodología para realizar la
simplificación.
Sólo la práctica es la manera de alcanzar la
simplificación más óptima.
La aplicación del álgebra de Boole no
garantiza el llegar a la simplificación óptima.
![Page 29: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/29.jpg)
Sistemas Digitales 29
Implementación de
Funciones con Compuertas
![Page 30: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/30.jpg)
Sistemas Digitales 30
Redes con AND, OR y NOT
Una vez que se define la suma de productos
mínima se debe de definir el diagrama lógico,
compuesto por una red de compuertas que
describan la función.
![Page 31: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/31.jpg)
Sistemas Digitales 31
Ejemplo de un circuito de dos niveles
zyxzyxyzxzyxf
X’
Y
Z’
X’
Y
Z
X
Y’
Z’
X
Y’
Z
![Page 32: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/32.jpg)
Sistemas Digitales 32
Niveles
El número de niveles corresponde al máximo
número de compuertas que una señal debe
pasar desde su entrada hasta la salida.
En el caso anterior tenemos dos niveles, esto
asumiendo que tenemos disponibles en la
entradas los complementos de la literales,
cuando no se dispone de los complementos
es necesario complementar con compuertas
NOT.
![Page 33: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/33.jpg)
Sistemas Digitales 33
Problema
xyzzyxzyxyzxzyxf
a) Diagrama de la suma de productos
b) Diagrama de la suma de productos mínimo
![Page 34: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/34.jpg)
Sistemas Digitales 34
Una red multinivel
)( wxzvyxwzh
Las redes multinivel son el resultado de implementar funciones que no estén
en la forma ni de suma de productos ni de productos de sumas.
![Page 35: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/35.jpg)
Sistemas Digitales 35
De la Tabla de Verdad a la Expresión
Algebraica
En la mayoría de los casos, un problema digital es presentado en la forma de una declaración o como una tabla de verdad, esto nos obliga a tener la habilidad de llevar los datos de una tabla de verdad a una expresión algebraica.
En la tabla de verdad, cada combinación de las variables de entrada corresponde a un termino de producto estándar.
Es posible extraer una sumatoria de productos estándares sumando cada termino de producto cuyo resultado en la tabla de verdad es igual a 1.
![Page 36: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/36.jpg)
Sistemas Digitales 36
Miniterminosa b c Minitermino Número
0 0 0 A’B’C’ 0
0 0 1 A’B’C 1
0 1 0 A’BC’ 2
0 1 1 A’BC 3
1 0 0 AB’C’ 4
1 0 1 AB’C 5
1 1 0 ABC’ 6
1 1 1 ABC 7
•En la tabla se muestra la
equivalencia entre las
combinaciones de una tabla de
verdad y los minitérminos que
están asociados a cada uno de
los productos estándares de
una expresión algebraica.
•Los miniterminos pueden ser
referidos también por sus
números, que están mostrados
en la columna de la derecha.
![Page 37: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/37.jpg)
Sistemas Digitales 37
Ejemplo 1
A B C f f’
0 0 0 0 1
0 0 1 1 0
0 1 0 1 0
0 1 1 1 0
1 0 0 1 0
1 0 1 1 0
1 1 0 0 1
1 1 1 0 1
La expresión algebraica será:
f(A,B,C) = Σm(1,2,3,4,5)
= A’B’C+A’BC’+A’BC+AB’C’+AB’C
f’(A,B,C) = Σm(0,6,7)
= A’B’C’+ABC’+ABC
Para la mayoría de los casos la
suma de los minitérminos no
representa la sumatoria mínima de
productos.
![Page 38: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/38.jpg)
Sistemas Digitales 38
Ejemplo 2, con condiciones irrelevantes
(don’t care)a b c f
0 0 0 x
0 0 1 1
0 1 0 1
0 1 1 x
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 0
La expresión algebraica será:
f(a,b,c) = Σm(1,2,5) + Σd(0,3)
![Page 39: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/39.jpg)
Sistemas Digitales 39
Finalización del proyecto EJE1
Z2= A’BCD+AB’CD+ABC’D+ABCD’+ABCD
Z2 suma mínima = ACD+BCD+ABC+ABD
Diagrama lógico
![Page 40: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/40.jpg)
Sistemas Digitales 40
Introducción a los Mapas de
Karnaugh
![Page 41: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/41.jpg)
Sistemas Digitales 41
Mapas de Karnaugh
Es un método gráfico usado para la
simplificación de funciones de conmutación.
Propuesto por Maurice Karnaugh en 1953.
Los mapas de Karnaugh se compone de un
cuadrado por cada minitérmino posible de
una función.
2 variables, 4 cuadrados
3 variables, 8 cuadrados
4 variables, 16 cuadrados
![Page 42: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/42.jpg)
Sistemas Digitales 42
Mapa de Karnaugh para dos variables
A’B’ AB’
A’B AB
m0 m2
m1 m3
0 2
1 3
0 1
0
1
A
B
A
B
Aquí tenemos tres vistas de una mapa de dos variables, las casillas sombreadas,
por ejemplo, corresponden al minitérmino 2 donde A=1 y B=0
![Page 43: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/43.jpg)
Sistemas Digitales 43
Representando funciones en un Mapa de
Karnaugh (1)
Cuando se quiere llevar una función a un
mapa, se coloca un 1 en el casillero
correspondiente al minitérmino que resultó
como 1 en la función.
Los otros casilleros se dejan en blanco
Si existen condiciones irrelevantes, es
necesario poner una X en los minitérminos
correspondientes.
![Page 44: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/44.jpg)
Sistemas Digitales 44
Representando funciones en un Mapa de
Karnaugh (2)
1
1
0 1
0
1
a
b
1 X
1
0 1
0
1
A
B
F(a,b) = Σm(0,3) F(A,B) = Σm(0,3) + Σd(2)
![Page 45: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/45.jpg)
Sistemas Digitales 45
Mapa de Karnaugh para 3 variables
A’B’C’ A’BC’ ABC’ AB’C’
A’B’C A’BC ABC AB’C
00 01 11 10
0
1
AB
C
0 2 6 4
1 3 7 5
00 01 11 10
0
1
AB
C
La idea con la codificación es poder usar el P9a. ab+ab’=a
![Page 46: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/46.jpg)
Sistemas Digitales 46
Mapa de Karnaugh para 4 variables
A’B’C’D’ A’BC’D’ ABC’D’ AB’C’D’
A’B’C’D A’BC’D ABC’D AB’C’D
A’B’CD A’BCD ABCD AB’CD
A’B’CD’ A’BCD’ ABCD’ AB’CD’
00 01 11 10
00
01
11
10
AB
CD
0 4 12 8
1 5 13 9
3 7 15 11
2 6 14 10
00 01 11 10
00
01
11
10
AB
CD
![Page 47: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/47.jpg)
Sistemas Digitales 47
Ejemplo de adyacencia para un mapa de 4
variables Los 1 en dos celdas adyacentes corresponden a un solo término de
producto.
1 1
00 01 11 10
00
01
11
10
AB
CD
1
1
00 01 11 10
00
01
11
10
AB
CD
AC’D A’B’D’
![Page 48: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/48.jpg)
Sistemas Digitales 48
Extendiendo el concepto de adyacencia
para agrupar más celdas
1 1 1 1
00 01 11 10
0
1
AB
C
1 1 1 1
00 01 11 10
0
1
AB
C
A’C AC C
![Page 49: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/49.jpg)
Sistemas Digitales 49
Otros ejemplos para grupos de 4
1
1 1 1
1 1 1
1
00 01 11 10
00
01
11
10
AB
CD
1 1
1 1
1 1
1 1
00 01 11 10
00
01
11
10
AB
CD
A’B’ AD B’D’ BD
![Page 50: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/50.jpg)
Sistemas Digitales 50
Grupos de 8
1 1
1 1
1 1
1 1
00 01 11 10
00
01
11
10
AB
CD
1 1 1 1
1 1 1 1
00 01 11 10
00
01
11
10
AB
CD
A’ D’
![Page 51: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/51.jpg)
Sistemas Digitales 51
Ejemplo de simplificación usando Mapas
de Karnaugh
1 1
1 1 1
00 01 11 10
0
1
xy
z
1 1
1 1 1
00 01 11 10
0
1
xy
z
x’yz’ + x’yz + xy’z’ + xy’z + xyz
1 1
1 1 1
00 01 11 10
0
1
xy
z
x’y + xy’ + xz
![Page 52: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/52.jpg)
Sistemas Digitales 52
Problema
f = a’b’c’ + a’bc’ + a’bc + ab’c’
Para la función f encontrar:
La suma de productos mínima usando un mapa d
karnaugh.
![Page 53: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/53.jpg)
Sistemas Digitales 53
Compuertas NAND, NOR y
OR EXCLUSIVAS
![Page 54: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/54.jpg)
Sistemas Digitales 54
Compuerta NAND y NOR
Como la otras compuertas que estudiamos, también están disponibles
en el comercio con dos, tres, cuatro y ocho entradas.
Símbolos para NAND
Símbolos para NOR
![Page 55: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/55.jpg)
Sistemas Digitales 55
Importancia de las NAND y NOR
Todas las funciones Booleanas pueden ser substituibles por una función equivalente que utilice únicamente compuertas NAND y/o NOR, esto con los siguientes objetivos: Disminución del número de componentes en una tarjeta de
circuito impreso.
Dar facilidad de mantenimiento futuro y
Disminuir el consumo de energía.
La transformación de cualquier función se efectuará mediante la correcta utilización del teorema de Moorgan.
![Page 56: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/56.jpg)
Sistemas Digitales 56
Algunas equivalencias
![Page 57: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/57.jpg)
Sistemas Digitales 57
Metodología para transformar una
expresión a NAND1. Una vez obtenida la expresión correspondiente del problema
digital, se realiza a todo el conjunto una doble inversión o negación.
2. Como nos encontramos en el caso de implementar con puertas NAND, si la expresión resultante está en función de productos, las dos negaciones deben dejarse tal cual. Si, por el contrario, es una suma, se aplica el teorema de Moorgan sobre dicha suma.
3. Continuar 2, hasta la obtención de una función compuesta exclusivamente como productos negados.
![Page 58: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/58.jpg)
Sistemas Digitales 58
Metodología para transformar una
expresión a NOR1. Con la expresión correspondiente se realiza a todo el conjunto
una doble inversión o negación.
2. Si la expresión resultante está en función de sumas, las dos negaciones deben dejarse tal cual. Si se trata de un producto, tendremos que aplicar el teorema de Moorgan sobre el producto.
3. Continuar 2 (realizando el proceso anterior) hasta la obtención de una función compuesta exclusivamente por sumas negadas.
![Page 59: Algebra Boole](https://reader033.vdocuments.pub/reader033/viewer/2022052307/5571fa1449795991699132b1/html5/thumbnails/59.jpg)
Sistemas Digitales 59
Compuerta OR-Exclusiva y NOR-Exclusiva
a b a xor b
0 0 0
0 1 1
1 0 1
1 1 0
a b a xnor b
0 0 1
0 1 0
1 0 0
1 1 1