LOGICA DE PROPOSICIONES

1. Introducción.-

Según Aristóteles, la lógica es una ciencia que enseña a emplear el raciocinio para
conocer y juzgar con exactitud.

Los conceptos de los sistemas lógicos encontraron su aplicación más amplia y

notable en los sistemas digitales.

En la mayoría de los sistemas digitales de pequeña o gran escala de integración,

tales como sistemas de comunicación, procesadores de datos, sistemas de control,
calculadoras y sistemas de computación, son pocas las operaciones que se ejecutan
pero se repiten un gran número de veces en forma ordenada y sistemática de
manera combinacional y/o secuencial.

Los conceptos fueron obtenidos con mucha anticipación pero su aplicación es

reciente.

Asimismo, se determinó la importancia de razonar mediante el análisis de los

conjuntos de proposiciones verdaderas o falsas utilizando la lógica de proposiciones
susceptible a demostración.

2. Lógica de proposiciones.-

Una proposición puede ser cualquier relación que exprese algo como verdadero o
falso.

Las proposiciones utilizan las siguientes tres operaciones fundamentales:

2.1. Intersección
2.2. Unión
2.3. Negación

Las Proposiciones pueden ser verdaderas o falsas representadas por las letras del
alfabeto y sus relaciones operativas, por los símbolos producto “.” para la
intersección, suma “+” para la unión y el símbolo “ “ para el complemento.

2.1. Intersección o producto lógico.-

Representado por el símbolo del producto “.” funciona de la siguiente manera:

 Para que la proposición sea verdadera, necesariamente deberán también

ser verdaderas todas las proposiciones que la componen.
 Para que la proposición sea falsa basta que una de las proposiciones
componentes lo sea.
1
 En la lógica de los circuitos se la representa mediante la conexión serial de los
interruptores:

Intersección F = A.B.C

2.2. Unión o suma lógica.-

Representado por el símbolo de la suma “+” funciona de la siguiente manera:

 Para que la proposición unión sea verdadera es suficiente que una de las
proposiciones participantes sea verdadera.
 Para que la proposición unión sea falsa, necesariamente todas las
proposiciones participantes deben ser falsas.

En la lógica de los circuitos se la representa mediante la conexión en paralelo

de los interruptores:

Unión F = A+B+C

2.3. Proposición negación.-

Representado por el símbolo de un guión “ ”sobre la proposición, como su

nombre indica, niega permanentemente la veracidad o falsedad de la proposición.
También se la denomina complemento o negación.

En la lógica de los circuitos se la representa con un conmutador entre dos

estados, uno para uno de sus estados y el otro para su estado complementario:

2
Con la combinación de las tres proposiciones lógicas es posible implementar todos
los sistemas lógicos, por ejemplo tales como los realizados por la “lógica de relays”.

3. Variable lógica.-

Es toda proposición que pude asumir uno de los dos estados, verdadero o falso; se
la representa con las letras del alfabeto.

La variable lógica puede representar la presencia o ausencia de corriente o tensión,

apertura o cierre de interruptores, estado de conducción de los transistores (corte y
saturación) y valores numéricos “0” y “1” (lógica binaria).

Para el tratamiento de los sistemas electrónicos digitales, se le asigna la lógica de

transistores debido a su facilidad de fabricación y la lógica binaria por la facilidad de
su tratamiento matemático con el álgebra de Boole.

4. Función lógica.-

Es una proposición verdadera o falsa compuesta por la relación de otras

proposiciones relacionadas al menos por alguna o hasta por las tres operaciones
básicas.

5. Algebra Booleana.-

Fue establecida por George Boole en 1845 para el análisis matemático de la lógica,
mediante el sistema algebraico conocido como el álgebra de Boole.

En 1938 Shannon introdujo el álgebra Booleana de dos valores (0 y 1) denominada

entonces como álgebra de interruptores, relacionada con la caracterización de
verdadero, falso y los circuitos eléctricos.

En 1904 Huntington introdujo la definición formal del álgebra Booleana mediante la

formulación de sus nueve postulados o axiomas.

3
6. Principio de dualidad.-

El álgebra de Boole, al igual que los sistemas digitales tiene un principio de dualidad
respecto a sus dos operaciones básicas de unión e intersección, consecuentemente,
los postulados o axiomas figuran en dos columnas equivalentes, donde una puede
obtenerse de la otra mediante intercambio de operadores.

7. Postulados o axiomas del álgebra de Boole.-

La siguiente tabla 7.1 enumera los nueve postulados, 8 de los cuales cumplen con el
principio de dualidad menos el último que se refiere solamente a la negación.

Tabla 7.1 Postulados o axiomas del álgebra de Boole

Postulado Intersección Unión
1.- Propiedad conmutativa X.Y.Z = X.Z.Y = Y.X.Z X+Y+Z = X+Z+Y = Y+X+Z

2.- propiedad asociativa X.Y.Z = X.(Y.Z) = (X.Y).Z X+Y+Z = X+(Y+Z) = (X+Y)+Z

3.- Propiedad distributiva X.(Y+Z) = (X.Y) + (X.Z) X+(Y.Z) = (X+Y).(X+Z)

4.- Regla del complemento X .X = 0 X +X = 1

5.- Regla de potencia X . X = X ; X .X =X X + X = X ; X +X =X

6.- Leyes de absorción X.(X+Y) = X ; X.(X + Y) = X.Y X+(X.Y) = X ; X+(X . Y) = X+Y

7.- Leyes de De Morgan X . Y . Z =X+Y+Z X + Y + Z =X.Y.Z

8.- Regla del 0 y 1 X.0=0;X.1=X X+0=X;X+1=1

9.- Involución (X)=X

La validez de los postulados o axiomas de la tabla 7.1 puede demostrarse

algebraicamente o mediante las denominadas tablas de verdad.

8. Tabla de verdad.-

La tabla de verdad representa a los valores (0 lógico ó 1 lógico) que una función
algebraica puede adoptar para cada una de las posibles combinaciones de estado
de las variables lógicas que figuran en dicha función.

Por lo indicado, dos expresiones algebraicas o funciones lógicas que tienen la misma
tabla de verdad, son equivalentes.

Una tabla de verdad tiene tantas posiciones como variables lógicas tenga la
expresión o función lógica y tiene tantas entradas como combinaciones puedan
generar las variables y sus relaciones, de las que depende la expresión o función
lógica. Como se utiliza la lógica binaria que solo puede adoptar dos posibles valores,
el número de combinaciones (N) con n variables será igual a N = 2n.
4
9. Precedencia de los operadores.-

En la evaluación de las expresiones Booleanas, en primer lugar se encuentran los

símbolos de agrupamiento, como son todos los tipos de paréntesis, luego el
complemento o negación, la intersección y finalmente la unión.

10. Demostración de los postulados o axiomas del álgebra de Boole.-

La demostración será utilizando las tablas de verdad, por ejemplo para el postulado
de la propiedad distributiva: X.(Y+Z) = X.Y + X.Z.

Como figuran tres variables (n=3), la tabla de verdad tendrá 23 = 8 posibles

combinaciones de entrada, mostradas en la tabla 10.1.

Tabla 10.1 TV para demostrar la propiedad distributiva

XYZ (Y + Z) X(Y + Z) X.Y X.Z X.Y + X.Z

000 0 0 0 0 0
001 1 0 0 0 0
010 1 0 0 0 0
011 1 0 0 0 0
100 0 0 0 0 0
101 1 1 0 1 1
110 1 1 1 0 1
111 1 1 1 1 1
* *

11. Variables lógicas compuestas.-

Igual que en las expresiones algebraicas, para la lógica de proposiciones , se

establece la existencia de variables lógicas compuestas, mismas que se forman por
variables simples, que pueden adoptar los valores “0” o “1”, relacionadas por uno de
los operadores. Estas variables adoptan uno de los estados por su presencia o
ausencia en la función lógica en que participan; con este criterio tenemos dos tipos
de variables compuestas que se denominan mintérminos y maxtérminos.

11.1. Mintérmino.-

Se llama mintérmino de n variables lógicas a las 2 n intersecciones diferentes

formadas por las n variables lógicas que figuran en su forma directa o
complementada.
No podrían figurar repeticiones de variables ni podrían coexistir en su forma directa y
complementada simultáneamente, porque aplicando la ley conmutativa y la regla de
potencia (X.X = X) o la de complemento (X.X = 0) respectivamente, desaparecen
las repeticiones ó se elimina dicho término.
5
El mintérmino es una variable lógica compuesta que adopta el estado lógicos ( 0 ó 1).

Existen cuatro formas equivalentes de representar los mintérminos:

 Literal
 Binaria
 Decimal
 Simbólica

La Tabla 11.1 siguiente muestra las cuatro formas de representación para una
función de tres variables (A,B y C):

Tabla 11.1 Representación de mintérminos

Literal Binario Decimal Simbólica

ABC 000 0 m0
AB C 001 1 m1
A BC 010 2 m2
A B C 011 3 m3
ABC 100 4 m4
AB C 101 5 m5
A BC 110 6 m6
A BC 111 7 m7

Entre las notaciones literal y binaria basta hacer corresponder a las variables directas
con el “1” lógico y a las variables negadas o complementadas con el “0” lógico. Para
la notación decimal, evaluar la combinación binaria respetando el peso posicional.

11.2. Maxtérmino.-

Se llama maxtérmino de n variables lógicas a las 2 n uniones diferentes formadas por

las n variables lógicas que figuran en su forma directa o complementada.
No podrían figurar repeticiones de variables ni podrían coexistir en su forma directa y
complementada al mismo tiempo, porque aplicando la ley conmutativa y la regla de
potencia (X + X= X o X +X =X) o complemento (X +X = 1) y la ley del 1 (1 +B + C
= 1) desaparecen las repeticiones ó se elimina dicho término.

El maxtérmino es una variable lógica compuesta que adopta el estado lógico ( 0 ó 1).

Existen cuatro formas equivalentes de representar los maxtérminos:

 Literal
 Binaria
 Decimal
 Simbólica

6
La Tabla 11.2 siguiente muestra las cuatro formas de representación de una función
de tres variables (A,B,C):

Tabla 11.2 Representación de maxtérminos

Literal Binario Decimal Simbólica

A +B +C 000 0 M0
A +B + C 001 1 M1
A + B +C 010 2 M2
A + B + C 011 3 M3
A +B +C 100 4 M4
A +B + C 101 5 M5
A + B +C 110 6 M6
A+ B+C 111 7 M7

En la notación binaria se elimina el operador de suma lógica “+” para evitar el error
de ejecutar la operación de suma lógica entre las variables; en la notación decimal,
para su diferenciación con los mintérminos se pone una barra (el símbolo de
complemento) sobre el número decimal.

Entre la notación literal y binaria, se aplica la misma regla utilizada para los
mintérminos.

Entre mintérminos y maxtétrminos también se cumple el principio de dualidad.

12. Teorema fundamental de las funciones lógicas.-

a) La unión de todos los mintérminos de n variables es equivalente al “1” lógico,

expresado simbólicamente tenemos  = 1.
b) La intersección de todos los maxtérminos de n variables es equivalente al “0”
lógico expresado simbólicamente tenemos  = 0.

12.1. Demostración.-

Para la demostración asumiremos una función de tres variables (n=3) en cuyo

caso tenemos 8 mintérminos y 8 maxtérminos.

a) ABC +AB C +A BC +A B C + ABC + AB C + A BC + A B C = 1

Aplicando la propiedad asociativa y distributiva tenemos:

(AB +A B + AB + A B)C + (AB +A B +A B + A B) C = 1

Aplicando las mismas propiedades dentro de cada paréntesis tenemos:

7
[(A + A)B + (A + A) B]C + [(A + A)B + (A + A) B] C = 1

La expresión dentro los paréntesis, por la regla de complemento son iguales a 1:

[1.B + 1. B]C + [1.B + 1. B] C = 1

Aplicando la regla del 1 para la intersección tenemos:

[B + B]C + [B + B] C = 1

Repitiendo el proceso mencionado nos queda:

C + C = 1

Aplicando nuevamente la regla del complemento tenemos 1 = 1, quedando

demostrada la primera parte del teorema.

b) (A +B +C)(A +B + C)(A + B +C)(A + B + C)( A +B +C)( A +B + C)
( A + B +C)( A + B + C) = 0

Aplicando la regla asociativa y distributiva tenemos:

[(A +B)( A +B)(A +B)(A + B) +C] [(A +B)( A +B)(A +B)(A + B) + C] = 0

{[(A A) +B] [(A A) + B] +C}{[(A A) +B] [(A A) + B] + C} = 0

Aplicando la regla del complemento los paréntesis son iguales a 0:

{[0 +B] [0 + B] +C}{[0 +B] [0 + B] + C} = 0

Aplicando la regla del 0 para la unión tenemos:

[(B B) +C}[B B] + C} = 0

Repitiendo el proceso mencionado nos queda:

C C = 0

Aplicando nuevamente la regla del complemento tenemos 0 = 0, quedando

demostrada la segunda parte del teorema.

Otra manera de demostrar es aplicando la ley de De Morgan.

8
 12.2. Corolario

Como consecuencia del teorema fundamental de las funciones lógicas se

plantean los siguientes dos corolarios:

a) La unión parcial de los mintérminos de una función de n variables es una

función lógica que puede adoptar cualquier de los estados lógicos “1” o “0”.
Consecuentemente, cualquier función lógica de n variables puede ser
expresada, en la primera forma canónica, mediante la unión parcial de
mintérminos.
b) La intersección parcial de los maxtérminos de una función de n variables es
una función lógica que puede adoptar cualquier de los estados lógicos “1” o
“0”. Consecuentemente, cualquier función lógica de n variables puede ser
expresada, en la segunda forma canónica, mediante la intersección parcial de
maxtérminos.

En los corolarios anteriores se puede apreciar también el cumplimiento del

principio de dualidad.

13. Funciones canónicas.-

Una función lógica puede ser expresada en forma algebraica y/o mediante una tabla
de verdad formada por los mintérminos o maxtérminos de la función.

Consecuentemente, existen dos maneras equivalentes de desarrollar las funciones

lógicas:
 Funciones lógicas en la primera forma canónica.
 Funciones lógicas en la segunda forma canónica.

13.1. Funciones lógicas en la primera forma canónica.-

Las funciones lógicas expresadas en la primera forma canónica, es decir como

unión parcial de mintérminos, también pueden presentarse en una de las cuatro
formas de representación:

Por ejemplo para una función de tres variables tenemos:

F = AB C +A B C + ABC + AB C + A B C (Forma literal)

F = 3(1,3,4,5,7) (Forma decimal)
F = m1 + m3 + m4 + m5 + m7 (Forma simbólica)

9
 (Forma tabla de verdad)
ABC ABC F
0 ABC 000 0
1 AB C 001 1
2 A BC 010 0
3 A B C 011 1
4 ABC 100 1
5 AB C 101 1
6 A BC 110 0
7 ABC 111 1

13.2. Funciones lógicas en la segunda forma canónica.-

Las funciones lógicas expresadas en la segunda forma canónica, es decir como

intersección parcial de maxtérminos, también pueden presentarse en una de las
cuatro formas de representación:

Por ejemplo para una función de tres variables tenemos:

F = (A +B +C)(A + B +C)( A +B + C)( A + B +C) (Forma literal)

F = 3(0,2,5,6) (Forma decimal)
F = M0 M2 M5 M6 (Forma simbólica)
(Forma tabla de verdad)
ABC ABC F
0 A +B +C 000 0
1 A +B + C 001 1
2 A + B +C 0 1 0 0
3 A + B + C 011 1
4 A +B +C 100 1
5 A +B + C 101 1
6 A + B +C 110 0
7 A+B+C 111 1

14. Transformación de funciones canónicas.-

El cumplimiento del principio de dualidad, hace posible la transformación de

presentación de una función lógica, de una de sus formas canónicas a la otra, es
decir que toda función expresada en una de las formas canónicas tiene su
equivalente en la otra forma canónica.

14.1. Transformación de una función expresada en la primera forma

canónica a su equivalente en segunda forma canónica.-

10
Dada la función F en la primera forma canónica, se determina la función
complemento F, de tal manera que F +F = 1; es decir que F estará
conformada por todos los mintérminos ausentes en F.
La función F expresada en forma literal se complementa en ambos miembros de
la ecuación luego, al miembro de la derecha aplicamos la ley de De Morgan,
obteniendo así, la función en forma de producto de sumas, es decir en la segunda
forma canónica.

Ejemplo:

F = AB C +A B C + ABC + AB C + A B C

La función complemento será:

F = ABC +A BC + A BC

Complementando ambos miembros de la ecuación tenemos:

F = ABC +A BC + A BC

En el primer miembro, por la regla de la involución del álgebra de Boole se

obtiene F y desarrollando la ley de De Morgan para el segundo término
obtenemos:

F = ABC A BC A BC

F =(A +B +C)(A + B +C)( A + B +C)

Aplicando la regla de la involución a las variables tenemos:

F =(A + B + C)(A +B + C)(A +B + C)

Otro método de transformación es aplicable cuando la función expresada en la

primera forma canónica se presenta en su forma decimal, también hallamos la
función complemento F, luego aplicando la siguiente ecuación:
N = 2n – N -1
Donde:
n = Número de variables.
N = Términos de F en la primera forma canónica.
N = Términos en la segunda forma canónica.

Aplicando al mismo ejemplo anterior tendremos:

F = 3 (1,3,4,5,7)

11
La función complemento:

F = 3 (0,2,6)

Aplicando la ecuación N = 2n – N -1, a cada término tenemos:

N = 23 – N -1 = 7 – N

Para N =6  N = 7 – 6 =1

Para N =2  N = 7 – 2 =5

Para N =0  N = 7 – 0 =7

La función en la segunda forma canónica resulta:

F = 3 (1, 5, 7)

14.2. Transformación de una función expresada en la segunda forma

canónica a su equivalente en primera forma canónica.-

Por el cumplimiento del principio de dualidad, los procedimientos para

transformar funciones expresadas en la segunda forma canónica a su equivalente
en la primera son similares a los aplicados para la transformación de funciones de
la primera a la segunda forma canónica, vistos en el punto anterior.

Cuando se pretende transformar una función que tenga una estructura de  ó

, pero que en cuyos mintérminos o maxtérminos de la función no figuran todas
las variables o la misma contenga elementos de agrupación, primero es necesario
canonizar la función:

 En caso de faltar una variable, interceptando con X +X = 1 en la

estructura de la 1ª forma canónica o realizando la unión con X X = 0 en la
estructura de la 2ª forma canónica.
 En caso de faltar más de una variable, interceptar con la ecuación
fundamental en la 1ª forma canónica, conformada por las variables que le
faltan al término o realizar la unión con la ecuación fundamental en la 2ª
forma canónica, conformada por las variables que le faltan al término.
 Los términos obtenidos se reemplazan en la función descartando, en
aplicación de la ley de potencia, aquellos mintérminos o maxtérminos
repetidos.

Ejemplo 1:

F = AB +AB C + C
12
La función tiene la estructura de suma de productos con un mintérmino y otros
dos términos (AB) y (C) a los que les falta una y dos variables respectivamente.
Al término (AB) aplicamos la intersección con (C +C):

AB = AB(C +C) = AB C + ABC

Al término C aplicamos la intersección con (AB +A B + AB + A B):

C = C(AB +A B + AB + A B) =AB C +A B C + AB C + A B C

Los mintérminos obtenidos en ambos casos se reemplazan en la función original:

F = AB C + ABC +AB C +AB C +A B C + AB C + A B C

Aplicando la ley de potencia tenemos:

F = AB C +A B C + ABC + AB C + A B C

Ejemplo 2:

F = (A +B)(A + B +C) B

La función tiene la estructura de producto de sumas con un maxtérmino y otros

dos términos (A +B) y (B) a los que les falta una y dos variables
respectivamente.
Al término A +B le aplicamos la unión con (CC):

A +B = A +B + (CC) = (A +B + C)(A +B +C)

Al término B aplicamos la unión con [(A +C)(A + C)( A +C)(A + C)]:

B = B + [(A +C)(A + C)( A +C)(A + C)]

B = (A + B +C)(A + B + C)( A + B +C)(A + B + C)

Reemplazando en la función resulta:

F = (A +B + C)(A +B +C)(A + B +C)(A + B +C)(A + B + C)( A + B +C)(A

+ B + C)

Aplicando la ley de potencia tenemos:

F = (A + B +C)(A + B + C) )(A +B +C)(A +B + C)( A + B +C) )(A + B + C)

13
 La transformación de una función expresada en la primera forma canónica a la
segunda puede ser para realizar la función con el menor número de términos
canónicos, implicando la utilización de menor número de componentes lógicos.

Como una función no canónica que contiene términos con menor número de
variables, es posible canonizarla, consecuentemente, aplicando las reglas del
álgebra de Boole, también es posible el proceso inverso de reducción de términos
y variables en la expresión de la función lógica. Esto es muy importante en los
procesos de simplificación y síntesis de funciones lógicas para posibilitar la
implementación de circuitos lógicos con el menor número de componentes.

15. Funciones de n variables.-

El teorema fundamental de las funciones lógicas estableció que una función queda
definida por la ausencia de uno o más mintérminos o maxtérminos generando una
tabla de verdad diferente para cada caso.

Con n variables, la tabla de verdad tiene 2n combinaciones, cada una de las cuales
puede o no figurar en la función, esto implica que el número diferente de funciones
que se pueden generar con n variables será de 2 elevado a 2n, por ejemplo cuando
n = 0 el número de funciones es de 2, la función 0 y la función 1; con n=1 tendremos
4 funciones la función A, la función A, la función 1 y la función 0; con n=2
tendremos 16 posibles funciones, con n=3 tendremos 256 funciones.

Las funciones pueden ser realizadas con los tres operadores básicos, sin embargo
por comodidad y realización tecnológica existen otros operadores compuestos que
permiten una mejor representación de los circuitos lógicos.

Para determinar estos operadores lógicos, es importante establecer las funciones

que se pueden generar con dos variables.

15.1. Funciones con dos variables.-

Con 2 variables se generan 16 posibles funciones equivalentes en cada forma

canónica, bastando analizar en una de ellas para deducirlas en la otra.

El análisis lo haremos en base a los 4 posibles mintérminos de la función, con las

siguientes posibilidades:

 Todos los mintérminos en 0 1 posibilidad

 Un mintérmino en 1 y el resto en 0 4 posibilidades
 Dos mintérminos en 1 y el resto en 0 6 posibilidades
 Tres mintérminos en 1 y el resto en 0 4 posibilidades
 Todos los mintérminos en1 1 posibilidad
Total 16 posibilidades

14
La tabla 15.1 muestra la tabla de verdad especificando el nombre de cada
función.

AB A B AB A B Variables

00 01 10 11 Código binario
m0 m1 m2 m3 Mintérmino
0 0 0 0 F0 Función 0
0 0 0 1 F1 Intersección AND = A B
0 0 1 0 F2 Inhibición AB
0 0 1 1 F3 Variable A
0 1 0 0 F4 Inhibición A B
0 1 0 1 F5 Variable B
0 1 1 0 F6 Dilema OR-EX = AB
0 1 1 1 F7 Unión OR = A + B
1 0 0 0 F8 NOR = A + B
1 0 0 1 F9 Identidad NOR-EX = A  B
1 0 1 0 F10 Variable B
1 0 1 1 F11 Implicación BA
1 1 0 0 F12 VariableA
1 1 0 1 F13 Implicación AB
1 1 1 0 F14 NAND = A B
1 1 1 1 F15 Función 1

 F0 es la función 0, representa a la constante binaria 0.

 F15 es la función 1, representa a la constante binaria 1 y es la función
complementaria de F0.
 F1 representa a la intersección o producto lógico F1 = A B o F1 = 2(3)
también se le denomina operando AND, su valor es 1 solo si ambas
variables tienen el valor lógico de 1.
 F14 es la función complemento de F1, se le denomina operando NAND y
su representación literal es F14 = A B.

15
 F2 representa la inhibición por la variable B, F2 = AB o F2 = 2(2); la
variable B inhibe la validez de la variable A.
 F13 es la función complemento de la función F2, representa a la función
implicación en que A implica a B, es decir que si A es verdadera,
necesariamente B debe ser verdadera para la validez de la función,
pero B puede ser verdadero o falso cuando A sea falsa. Su
representación literal es F13 = AB =A + B.
 F3 representa a la variable A, puesto que F3 = 2(2,3), su
representación en forma literal F3 = AB + A B = A(B + B) = A.
 F12 es la función complemento de la función F3, representa a la variable
A, como F12 =2(0,1), su representación en forma literal F3 =AB +A
B = A(B + B) =A.
 F4 representa la inhibición por la variable A, F2 =A B o F2 = 2(1); la
variable A inhibe la validez de la variable B.
 F11 es la función complemento de la función F4, representa a la función
implicación en que B implica a A, es decir que si B es verdadera,
necesariamente A debe ser verdadera para la validez de la función,
pero A puede ser verdadero o falso cuando B sea falsa. Su
representación literal es F11 =A B = A +B.
 F5 representa a la variable B, puesto que F5 = 2(1,3), su
representación en forma literal F5 =A B + A B = B(A + A) = B.
 F10 es el complemento de F5 y representa a la variable B, como F10
=2(0,2), su representación en forma literal F10 =AB + AB = B(A +
A) =B.
 F6 es uno de los operadores importantes para las operaciones
aritméticas, recibe el nombre de operador dilema o OR EXCLUSIVO, F 6
= 2(1,2), su representación en forma literal F6 =A B + AB = A  B, es
decir que la función toma el valor de 1 cuando el valor de las dos
variables es diferente.
 F9 es la función complemento de F6 , se la denomina función identidad
o NOR EXCLUSIVO, F9 = 2(0,3), su representación en forma literal F9
=AB + A B = A  B = A  B.
 F7 representa a la proposición unión o suma lógica F7 = 2(1,2,3), en
forma literal F7 =A B + AB + A B =A B + A B + AB + A B = A(B +
B) + B(A + A) = A + B, recibe el nombre de operador OR, su valor es 1
cuando por lo menos una de las variables tienen el valor lógico de 1.
 F8 es la función complemento de F7, se le denomina operador NOR, F8
= 2(0), en forma literal resulta F8 =AB = A + B.

16
16. Operadores y compuertas lógicas.-

En la lógica de proposiciones se establecieron tres operadores básicos, unión,

intersección e inversión o complementación, los mismos que en base las funciones
lógicas de dos variables se denominan como operadores OR, AND y NOT
respectivamente.

Adicionalmente se analizaron otro tipo de operadores como el NOR, NAND, OR-EX y

NOR-EX, representados mediante símbolos característicos, importantes desde el
punto de vista tecnológico, son fabricados en base a elementos activos, como son
los transistores bipolares y unipolares, incluyendo en un solo circuito integrado un
conjunto uniforme de los mencionados operadores.

En la tabla 16.1 se detallan los operadores con los símbolos respectivos utilizados
para cada caso.

17
 Tabla 16.1 Operadores lógicos

Nombre TV Función Símbolo Observaciones

AB F El número de entradas está
00 0 limitada por la realización
OR 01 1 F=A+B tecnológica.
10 1
11 1
AB F Idéntico al caso de la
00 0 compuerta OR.
AND 01 0 F=AB
10 0
11 1
A F Tiene una sola entrada
0 1 independientemente de la
NOT 1 0 F =A tecnología de fabricación.

AB F Idéntico al caso de la
001 compuerta OR.
NOR 01 0 F = (A + B)
10 0
11 0
AB F Idéntico al caso de la
001 compuerta OR.
NAND 01 1 F=AB
10 1
11 0
AB F Solo tiene dos entradas
000 F=AB independientemente de la
OREX 01 1 F =A B + tecnología de fabricación.
10 1 AB
11 0
AB F Idéntico al caso del OREX.
F=AB
001 A
F=AB F
NOREX 01 0
10 0 F =AB + B
11 1 AB
A F Idéntico al caso del inversor.
0 0
BUFFER 1 1 F=A A F

18
17. Representaciones alternativas de las compuertas lógicas.-

AND: A B A +B =A B

OR: A + B AB = A + B

NAND: A B A +B = A B

NOR: A + B AB = A + B

INV:

A A A A

19
18. Representación de los símbolos lógicos.-

A AB

B
Niveles activos Nivel activo bajo
altos La salida cambia a nivel activo
bajo solo cuando todas sus
entradas cambian a nivel activo
alto.
A A +B = A B

B
Niveles activos Nivel activo alto
bajos La salida cambia a su nivel
activo alto cuando cualesquiera
de sus entradas se encuentra
en nivel activo bajo.

De forma similar, se puede analizar el funcionamiento de la compuerta OR:

A A +B

B
Niveles activos Nivel activo alto
altos. La salida adopta su nivel activo
alto cuando cualquiera de sus
entradas adopta el nivel alto.

20
 A AB = A + B

B
Niveles activos Nivel activo bajo
Bajos. La salida cambia a su nivel
activo bajo solo cuando todas
sus entradas adoptan el nivel
activo bajo.
19. Criterios para seleccionar el tipo de representación de las compuertas
lógicas:
Pueden darse tres posibles situaciones:
La primera si se pretende la utilización de un mismo tipo de compuertas, como en el
siguiente ejemplo:

La segunda, si se pretende una representación para determinar una salida de nivel

activo alto, por ejemplo, la correspondiente para el circuito anterior será:

La salida Z adoptará el nivel activo alto siempre que A y B o C y D adopten sus

niveles activos altos.

La tercera, si se pretende una representación para determinar una salida en nivel

activo bajo, por ejemplo, la correspondiente para el circuito anterior será:
21
La salida Z adoptará el nivel activo bajo siempre que A o B y C o D adopten sus
niveles activos bajos.

20. Criterio general para colocación de burbujas en la lógica de burbuja.-

Siempre que sea posible, seleccionar los símbolos de compuerta de manera tal que,
las salidas con burbuja, se conecten a entradas que también contengan
burbuja, y las salidas sin burbuja se conecten a entradas sin burbuja. Por
ejemplo, si tenemos el siguiente esquema lógico, diseñado para la excitación de un
circuito de alarma por nivel activo alto:

La salida Z adoptará el nivel activo alto siempre que A o B adopte su nivel activo alto
o C o D adopte su nivel activo bajo.

La manera correcta de representar dicho circuito será:

21. Análisis de circuitos combinacionales.-

Para el análisis de los circuitos combinacionales primero, es preciso obtener la
descripción formal de la función lógica que realiza, para luego proceder con otras
operaciones tales como:
 Determinar el comportamiento del circuito para diferentes combinaciones de
entrada (aplicar la respectiva tabla de verdad).
22
  Manipular la función algebraica para obtener diferentes estructuras circuitales
que realicen la función.
 Transformar la descripción algebraica a una de sus formas canónicas.
Ejemplo:

 La descripción más primitiva consiste en determinar la tabla de verdad del

circuito:
A B C F
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 1
 Determinar la expresión lógica en correspondencia con los operadores lógicos
utilizados, comenzando por las entradas y propagándolas a la salida:

F = (A+B)C +A BC

Esta expresión puede transformarse utilizando los postulados y axiomas del
álgebra de Boole; por ejemplo, expandiendo la función obtendremos la misma
en su forma de suma de productos:
F = (A+B)C +A BC = A C +B C +A BC
Esta nueva expresión puede ser implementada con el circuito AND – OR
siguiente:

23
 De manera similar podemos expandir la función respecto al operador unión:

F = (A+B)C +A BC = (A+B +A) (A+B+B) (A+B +C) (C+A) (C+B)(C+C)

F =(A+B +C) (A + C) (B + C)

Esta expresión lógica puede ser implementada con el circuito OR – AND

siguiente:

Si el circuito quisiéramos realizarlo con compuertas NAND y NOR, en la

reducción de las expresiones tenemos que utilizar, donde corresponda el teorema de
D’Morgan:

F = A C +B C +A BC

F = A C .B C .A BC

24
La función también puede ser graficada asumiendo que en su salida se
requiere un nivel activo alto, acorde con la simbología de la lógica de burbujas
tendríamos el siguiente esquema circuital:

25