COMPUERTAS LOGICAS BASICAS

Nombre Nexo Simbolo Ecuación Booleana Tabla de Verdad

_
INVERSOR SI/NO A B B= A Entrada Salida
A B
0 1
1 0

AND INCLUSION Q=A.B Entradas Salida

multiplicacion A B Q
logica 0 0 0
0 1 0
1 0 0
1 1 1

OR SELECCION Q=A+B Entradas Salida

suma A B Q
logica 0 0 0
o 0 1 1
OR INCLUSIVA 1 0 1
1 1 1

Nota: las compuertas con dos entradas mostradas son una posibilidad

COMPUERTAS LOGICAS DERIVADAS 1

Nombre Simbolo Ecuacion Tabla de

Booleana verdad

BUFFER A B :A B B=A Entrada Salida

0 0
1 1

A ____
NAND Q: Q Q=A.B Entradas Salida
o B A B Q
0 0 1
NOT-AND 0 1 1
1 0 1
1 1 0
 A ____
NOR Q : Q Q=A+B Entradas Salida
o B A B Q
NOT-OR 0 0 1
0 1 0
1 0 0
1 1 0

COMPUERTAS LOGICAS DERIVADAS 2

Nombre Simbolo Ecuacion Tabla de

Booleana verdad
A Q= A B Entradas Salida
XOR Q _ _ A B Q
o B Q= A . B + A.B 0 0 0
0 1 1
OR 1 0 1
EXCLUSIVA 1 1 0

A A
XNOR Q: Q Q=A B Entradas Salida
o B B ______ A B Q
Q= A B 0 0 1
_ _ 0 1 0
Q= A.B + A.B 1 0 0
1 1 1

EQUIVALENCIA
 ALGEBRA DE BOOLE O ALGEBRA BI-VALENTE

Los axiomas, postulados, teoremas y leyes asociadas a esta herramienta de manejo de variables
binarias en el entorno tambien binario y su verificación en la base binaria, le confieren a esta el
titulo de “campo numerico”, con ello la base binaria adquiere caracteristicas importantisimas que
luego veremos reflejadas en el diseño digital.

VEAMOS LA TABLA RESUMEN EN EL “CAPITULO No. 2”,, LA TABLA 2-1; titulada

“Postulados y teoremas del algebra de boole” (pagina 52)

METODOS DE AGRUPACION

Para analizar este tema y que el estudiante entienda su trascendencia, se necesita que se observe
el dibujo a bloques adjunto:

Enunciado del correlacion al- simplifica- Diagra- Implementa-

Problema gebraica entre cion opti- ma ción Final
Producto o no variables inde- mizada de Digital “protoboard”
De un analisis de pendientes y la funcion o
Campo dependientes Booleana “fibra vidrio”

Aquí esta ubicada

La necesidad de
Entender y aplicar
Los metodos de
agrupación

PROBLEMA SOLUCION

VISION ESTRATEGICA

Existen 2 metodos de agrupación (tecnica para lograr la articulación algebraica que correlacionara
a “variables independientes” versus “variables dependientes” en un entorno digital con vista a la
solucion de un problema)

METODO DE AGRUPACIÓN POR TERMINOS MINIMOS O “MINTERM”

Que se basa para su articulación algebraica del termino y la posterior agrupación de terminos en lo
que se conoce como “convensión de logica positiva”, la cual se basa en las siguientes reglas
basicas:
  El digito “1” se considera un evento lógico verdadero
 El digito “0” se considera un evento logica falso
 Cualquier variable que se involucre en una articulación algebraica en pro de la obtención
de una función booleana y represente a un evento logico verdadero, debera aparecer NO
negada
 Por el contrario, cualquier variable que se involucre en una articulación algebraica en pro
de la obtención de una función booleana y represente a un evento logico falso, debera
aparecer negada

METODO DE AGRUPACIÓN POR TERMINOS MAXIMOS O “MAXTERM”

Que se basa para su articulación algebraica del termino y la posterior agrupación de terminos en
Lo que se conoce como “convensión de logica NEGATIVA”, la cual se basa en las siguientes reglas
basicas:

 El digito “1” se considera un evento lógico falso

 El digito “0” se considera un evento logica verdadero
 Cualquier variable que se involucre en una articulación algebraica en pro de la obtención
de una función booleana y represente a un evento logico verdadero, debera aparecer NO
negada
 Por el contrario, cualquier variable que se involucre en una articulación algebraica en pro
de la obtención de una función booleana y represente a un evento logico falso, debera
aparecer negada

OBSERVEMOS DEL LIBRO DE TEXTO

En el Capitulo 2, la tabla 2-3; titulada “terminos minimos y maximos para 3 variables” Pag. 60

Concluimos que:

Agrupar por Minimos: Conlleva dos etapas, la primera, cuando creamos al termino en si, que en
este caso es la concatenación de las variables independientes involucradas por nexos “&”
Y la segunda etapa que es la concatenación de los terminos minimos que hacen verdadera a la
función que buscamos, concatenados por nexos “o”, asi:

Fn = ∑ m j

Donde:
 m j Son los terminos minimos que hacen verdadera a la función Booleana Fn
Agrupar por Maximos: Conlleva dos etapas, la primera, cuando creamos al termino en si, que en
este caso es la concatenación de las variables independientes involucradas por nexos “o”
Y la segunda etapa que es la concatenación de los terminos maximos que hacen verdadera a la
función que buscamos, concatenados por nexos “&”, asi:

Fn = Π M j

Donde:
 M j Son los terminos minimos que hacen verdadera a la función Booleana Fn
EJERCICIOS DE METODOS DE AGRUPACIÓN

Observe la tabla de verdad adjunta y proceda de acuerdo a criterios de optimización, la

correlación entre variables independientes y dependientes (la función booleana)

VARIABLES INDEPENDIENTES VARIABLES DEPENDIENTES

Ponderado C B A F1 F2 F3 F4
Decimal
0 0 0 0 1 1 0 1
1 0 0 1 1 0 0 1
2 0 1 0 1 0 0 1
3 0 1 1 0 1 0 1
4 1 0 0 0 0 0 1
5 1 0 1 0 1 0 1
6 1 1 0 0 1 0 0
7 1 1 1 0 0 1 1

Desarrollo de F1:

Vemos de la columna de F1 que la cantidad de 1´s es menor que de ceros y optamos por agrupar
por mínimos, asi:

F1 = ∑ m j = ∑ m0 , m1 , m2 = m0 + m1 + m2 = C´B´A´ + C¨B´A + C´ B A´

F1 = multiplicativa M3,M4,M5,M6,M7 = M3 . M4. M5. M6.M7

= (C +B´ + A´) (C´+ B + A) (C´+ B +A´) (C´+ B´+A) (C´+ B´+ A´)

simplificación. A este tipo de estructura boolena se le llama “FORMA CANONICA” (ver libro de
texto, cap 2)

Desarrollo de F2:

F2 = sumatoria m0, m3,m5,m6 = m0 + m3+ m5 + m6

F2 = multiplicativa M1,M2,M4,M7 = M1.M2.M4.M7

Desarrollo de F3:

Vemos de la columna que tiene como nombre F3; que existen ceros en todas las filas, con
excepción de la ultima, razon por la cual se hace imperativo trabajar con minimos, asi:

F3 = m3 = C B A
Desarrollo de F4: Igual que la anterior vemos que todas la filas poseen un “1” en la columna de
“F3” con excepción de la penultima, por razon de optimizaicion de tarea utilizaremos máximos,
asi:

F4 = M6 = A´ + B´ + C