Ig) Tablas de Verdad.

Tabla que representa el valor de la funcin para cada combinacin de

entrada. Si la funcin est definida para todas las combinaciones se
llama completa, si no, se denomina incompleta. Para 4 variables:

Una Frmulas de conmutacin es la expresin de una funcin Lgica.

Un LITERAL es una variable (A) o complemento de una variable (A)
Un TRMINO PRODUCTO es una operacin AND de un nmero de
literales.
Una frmula normal disyuntiva es una suma de trminos
productos.
Un TRMINO SUMA es una operacin OR de un nmero de literales.
Una frmula normal conjuntiva es un producto de trminos sumas.

I.g.i Formas Normales.

Formas normales proposicionales
Antes de definir lo que es una forma normal proposicional, es preciso
establecer el concepto de literal.
Un literal es una Variable proposicional (frmula atmica) o su negacin.
Existen dos tipos de formas normales, las disyuntivas y las conjuntivas.
Las formas normales disyuntivas son disyunciones de conjunciones de
literales, mientras las formas normales conjuntivas son conjunciones de
disyunciones de literales.
Una frmula A, est en forma normal disyuntiva (fnd) si es de la forma
A1 A2... An donde n>=1 y A1, A2, An son conjunciones de literales.
Una frmula A, est en forma normal conjuntiva (fnc) si es de la forma
A1 A2... An donde n>=1 y A1, A2, An son disyunciones de literales.
Si A es un literal, puede ser considerado tanto disyuncin de literales,
como conjuncin de literales.
Resumiendo:

Denominaremos literal a cualquier frmula compuesta por un

nico smbolo de proposicin p (literal positivo) o su negacin p
(literal negativo)

Clusula conjuntiva es cualquier conjuncin de literales.

Clusula disyuntiva es cualquier disyuncin de literales.

Una frmula se dice que est en Forma Normal Conjuntiva (fnc) si

es una conjuncin de clusulas disyuntivas.

Una frmula se dice que est en Forma Normal Disyuntiva (fnd) si

es una disyuncin de clusulas conjuntivas.

Ej: Las siguientes frmulas se encuentran en forma normal disyuntiva:

1. p
2. p q

3. (p q) q
4. (q r p) (q r) (q p)
Ej.: Las siguientes frmulas se encuentran en forma normal conjuntiva.
1. p r
2. p
3. (p q) (r q)
4. (q r) p
Ntese que la frmula atmica p se considera tanto fnc como fnd. En el
primer caso puede ser vista como una conjuncin de una sola disyuncin
de literales, con la particularidad de que esta disyuncin es a su vez de
un slo literal. En el segundo caso puede verse como una disyuncin de
una sola conjuncin de literales, con la particularidad de que esta
conjuncin es a su vez de un slo literal.
Otra frmula interesante es p q, esta tambin es fnc y fnd. En el
primer caso se analiza como una conjuncin de una sola disyuncin de
literales. En el segundo caso es vista como una disyuncin de dos
conjunciones de literales, con la particularidad de que cada conjuncin
es a su vez de un slo literal. Algo parecido ocurre con p r.

Formas normales completas

Aunque las formas normales, constituyen un Subconjunto de las
frmulas en general, dada una frmula, la cantidad de formas normales
que le son equivalentes es muy grande (de hecho es un conjunto
infinito). Esto hace deseable contar con una forma ms estndar, que
sirva como una especie de representante de la clase de equivalencia.
Estas formas estndares existen, y para cada clase de equivalencia se
cuenta con dos de ellas, una conjuntiva y otra disyuntiva, ambas se
conocen como formas normales completas.
Se conoce como forma normal disyuntiva completa (fndc) a una
disyuncin de conjunciones elementales.
Se conoce como forma normal conjuntiva completa (fndc) a una
conjuncin de disyunciones elementales.
Para completar estas definiciones, se hace preciso establecer dos
conceptos:

Conjuncin elemental: conjuncin de literales de la forma L1

L2 ... Ln, , donde n es el nmero de variables veritativas que
contiene la frmula y ninguna variable aparece en ms de un
literal.

Disyuncin elemental: disyuncin de literales de la forma L1

L2... Ln, donde n es el nmero de variables veritativas que
contiene la frmula y ninguna variable aparece en ms de un
literal...

Estas formas completas, adems de constituir representantes

distinguidos de sus clases de equivalencias, ofrecen la ventaja de que
son muy fciles de obtener a partir de sus tablas veritativas y viceversa.
Si se tiene una tabla veritativa, para obtener la fndc correspondiente, se
toma cada combinacin (fila) con valor 1 y se obtiene a partir de ella
una conjuncin elemental, donde las variables que en la fila aparecen
con valor 0 sern literales negados, mientras las que aparecen con valor
1 sern literales positivos (sin negar). De esta manera se obtienen todas
las conjunciones elementales y por tanto la fndc.
Un proceso similar permite obtener la fncc. Se toma cada combinacin
(fila) con valor 0 y se obtiene a partir de ella una disyuncin elemental,
donde las variables que en la fila aparecen con valor 1 sern literales
negados, mientras las que aparecen con valor 0 sern literales positivos
(sin negar). De esta manera se obtienen todas las disyunciones
elementales y por tanto la fncc.
A continuacin se ilustra como valerse del procedimiento explicado para
obtener la fndc equivalente a la frmula p ( q r ).
1. En primer lugar es necesario construir la tabla de la verdad.
p q r

Valor
frmula

0 0 0

0 0 1

0 1 0

0 1 1

1 0 0

1 0 1

1 1 0

1 1 1

de

2. Luego se identifican todas las interpretaciones verdaderas, que en

este caso son cuatro: 000, 101, 110 y 111.
3. A partir de estas interpretaciones se obtienen las conjunciones
elementales:
p q r
p q r
p q r
pqr
4. Finalmente la fndc resultante es:
(p q r) (p q r) (p q r) (p q r)

Simplificacin de frmulas
A pesar de las ventajas de las formas normales completas, con
frecuencia estas son bastante grandes y se desea obtener una
equivalente, pero lo ms simple posible. Esto puede resolverse mediante
el proceso de simplificacin que se presenta a continuacin, el que a
partir de una frmula cualquiera permite obtener una forma normal
disyuntiva mnima equivalente.
Para hacer ms comprensible la explicacin, esta se basar en un
ejemplo concreto.
Se desea minimizar A = (p (r p)) (q r) .
Teniendo una frmula A, el primer paso para obtener una forma normal
disyuntiva mnima equivalente consiste en construir su tabla veritativa.
Para el ejemplo actual quedara:
p

El segundo paso consiste en desechar las filas falsas, quedndose solo

con las verdaderas, que se agruparn de acuerdo a la cantidad de 1 que
presenten, ordenndose estos grupos de manera ascendente segn el
mismo criterio.

Filas desechadas: 100 y 110

Filas del primer grupo (ningn 1) 000

Filas del segundo grupo (un 1) 001 y 010

Filas del tercer grupo (dos 1) 011 y 101

Filas del cuarto grupo (tres 1) 111

A continuacin, deben buscarse todos los pares de filas que difieran en

slo una posicin, obtenindose a partir de cada par una nueva fila
donde la parte comn se mantiene y la posicin que difiere se sustituye
por -. De este modo se obtienen:
00- (000 y
-01 (001 y
1-1 (101 y 111)

001)
101)

0-0
01-

(000
(010

y
y

010)
011)

0-1
-11

(001
(011

y
y

011)
111)

Las nuevas filas obtenidas, se agrupan siguiendo el mismo criterio inicial

(el nmero de unos). Toda fila de los grupos del paso anterior, que haya
dado lugar a una nueva, es excluida de estos nuevos grupos, si alguna
de las filas originales no fue objeto de simplificacin, por no diferir en
slo una posicin con ninguna de las dems, entonces pasa en la nueva
distribucin al grupo que le corresponde (este caso no se presenta en el
ejemplo).

Filas del primer grupo (ningn 1) 00- y 0-0

Filas del segundo grupo (un 1) 0-1, -01 y 01-

Filas del tercer grupo (dos 1) -11 y 1-1

Se repite el proceso de simplificacin de filas, quedando:

0-- (00- y 01-) 0-- (0-0 y 0-1) --1 (0-1 y 1-1)
--1 (-01 y -11)

Filas del primer grupo (ningn 1) 0--

Filas del segundo grupo (un 1) --1

Finalmente se ha llegado a un estado en que no son posibles ms

simplificaciones, cada fila de esta ltima agrupacin representa una
conjuncin de literales de la frmula simplificada, un 0 simboliza la
variable de la posicin correspondiente negada, el 1 simboliza la
variable de la posicin correspondiente positiva, mientras significa que
la variable correspondiente no aparece en la conjuncin. De esta manera
0-- da lugar a p, y --1 da lugar a r, obtenindose la frmula p r.
Las conjunciones obtenidas en el proceso explicado, son denominadas
implicantes primos, el ejemplo anterior, dio como resultado un conjunto
de dos implicantes primos y ningn subconjunto propio de este cumple
que su disyuncin sea lgicamente equivalente a la frmula original.
Esto suele ocurrir en conjunto pequeos, pero en general, entre los
implicantes primos obtenidos se puede encontrar un subconjunto (o
varios) cuya disyuncin sea equivalente a la frmula original,
evidentemente el subconjunto de menor cardinal que se obtenga ser el
que d lugar a la frmula mnima. A continuacin, mediante un ejemplo,
se ilustra la manera de encontrar este subconjunto de menor cardinal.
Se desea simplificar la frmula:
(p q r s) (p q r s) (p q r s) (p q r s)
(p q r s) (p q r s) (p q r s)
Las interpretaciones verdaderas aparecen en la siguiente tabla:
p

Como resultado de aplicar el proceso explicado se obtienen los

implicantes primos:
-1-1 1-10 1-01 111Para encontrar el subconjunto ptimo se utiliza la siguiente tabla:
IMPLICANTES
PRIMOS
A

-1-1

1-10

1-01

111-

CONJUNCIONES DE LITERALES
010 011 100 101 110 111 111
1
1
1
0
1
0
1

PROYECCION DE A B
X
CyD

X X

X
X
X

X
X

Puede apreciarse que en las casillas donde aparece X es porque el

implicante de la fila ha sido obtenido directa o indirectamente de la
conjuncin que encabeza la columna. En la ltima fila se marcan con X
las columnas que tienen al menos una X en las filas anteriores, que
deben ser todas. Todo implicante cuya fila pueda ser eliminada sin que
por esto desaparezca una X de la ltima fila, es redundante por lo que
puede omitirse en la disyuncin resultado.
Para el ejemplo que se analiza, A no puede ser omitido, pues desaparece
la X de la primera columna, omitir B provocara lo mismo en la cuarta
columna, por su parte la falta de C afectara la tercera columna, pero D
puede ser omitido sin afectar ninguna columna, por lo que lo implicantes
A B y C son suficientes. Este anlisis debe repetirse luego de omitir cada
implicante, hasta que ya no sean posibles ms omisiones.
De acuerdo a lo planteado la frmula mnima para este ejemplo es:
(q s) (p r s) (p r s)

I.g.ii Formas Cannicas.

Se llama trmino cannico de una funcin lgica a todo producto o suma
de literales en los cuales aparecen todas las variables en su forma
directa o complementada.
Los trminos cannicos producto reciben el nombre de minitrminos.
Los trminos cannicos suma reciben el nombre de maxitrminos.
Una funcin de BOOLE est en forma cannica cuando se expresa como
suma de
minitrminos o producto de maxitrminos.

Dos funciones lgicas son equivalentes si, y solo si, sus formas
cannicas son idnticas.
La expresin algebraica en suma de productos o productos de sumas en
la que no todos los trminos son cannicos recibe el nombre de
normalizada

Forma cannica de la suma de productos

La metodologa empleada en la transformacin de una suma de

productos a su forma cannica se basa en la regla 6, que establece que
una variable sumada con su complemento es siempre igual a 1; A + A' =
1. Los pasos son los siguientes:

Los trminos producto que no contengan la(s) variable(s) del

dominio, multiplicarlos por un trmino formado por dicha variable
ms el complemento de la misma (regla 6).
Repetir el paso 1 para todos los trminos de la expresin que no
contengan todas las variables (o sus complementos) del dominio.
Resolver los trminos intervenidos.

Ejemplo:
o Convertir la expresin booleana ABC' + BC + A' a su forma
cannica.
o El dominio de la expresin es el conjunto de variables A, B y
C. Se observa la falta de formato estndar para el segundo y
tercer trmino producto. Sobre ellos se aplicar el
procedimiento, para luego volver a agrupar toda la
expresin:
Trmino BC
BC = BC (A+A') = ABC + A'BC

Trmino A
A' = A'(C+C') = A'C+A'C' ; la expresin an no tiene el
formato cannico, entonces multiplicamos cada
trmino por (B+B')
A'C(B+B') +A'C'(B+B') = A'BC + A'B'C + A'BC' + A'B'C'
ABC' + BC + A' = ABC + A'BC + A'BC + A'B'C + A'BC'
+ A'B'C

Forma cannica del producto de sumas

La metodologa empleada en la transformacin de un producto de

sumas a su forma cannica se basa en la regla 8, que establece
que una variable multiplicada por su complemento es siempre
igual a 0; AA' = 0. Los pasos son los siguientes:
o Los trminos suma que no contengan la(s) variable(s) del
dominio, sumarlos un trmino formado por dicha variable y
su complemento segn regla 8.
o Aplicar la regla 12: A + BC = (A+B)(A+C)
o Repetir el paso 1 para todos los trminos de la expresin que
no contengan todas las variables (o sus complementos) del
dominio.
Ejemplo
Convertir la expresin booleana (A+B+C)(B+C+D)
(A+B+C+D) a su forma cannica.
Trmino A+B+C
A+B+C = A+B+C+DD = (A+B+C+D)(A+B+C+D)
Trmino B+C+D
B+C+D = B+C+D+AA =(A+ B+C+D)(A+
B+C+D)
(A+B+C)(B+C+D)(A+B+C+D) =
=
(A+B+C+D)(A+B+C+D)
(A+
B+C+D)(A+
B+C+D) (A+B+C+D)

Conversin entre formas

Suma de productos
F = ABC + ABC + ABC
Usando de Morgan: f(X1,X2,...,Xn,0,1,+,) = f(X1,X2,...,Xn,1,0,,
+)
(F) = (ABC + ABC + ABC)
F = (A + B + C) (A + B + C) (A + B + C)
Producto de sumas
F = (A + B + C) (A + B + C) (A + B + C) (A + B + C) (A + B
+ C)
Usando de Morgan
o (F) = ( (A + B + C)(A + B + C)(A + B + C)(A + B + C)
(A + B + C) )
F = ABC + ABC + ABC + ABC + ABC

Conversin de minitrminos a maxitrminos

usar maxitrminos cuyos ndices no aparecen en expansin de
minitrminos
o e.g., F(A,B,C) =

m(1,3,5,6,7) = M(0,2,4)

Conversin de maxitrminos a minitrminos

usar minitrminos cuyos ndices no aparecen en expansin de
maxitrminos
o

e.g., F(A,B,C) =

M(0,2,4) = m(1,3,5,6,7)

Conversin de expansin de minitrminos de F a F

usar minitrminos cuyos ndices no aparecen

m(1,3,5,6,7) F(A,B,C) = m(0,2,4)

o e.g., F(A,B,C) =

Conversin de expansin de maxitrminos de F a F

usar maxitrminos cuyos ndices no aparecen
o e.g., F(A,B,C) =

M(0,2,4) F(A,B,C) = M(1,3,5,6,7)

Leyes de De Morgan
En lgica proposicional y lgebra de Boole, las leyes de De Morgan
son un par de reglas de transformacin que son ambas reglas de
inferencia vlidas. Las normas permiten la expresin de las conjunciones
y disyunciones puramente en trminos de s va negacin.

Representacin grfica de las leyes de De Morgan

Las reglas se pueden expresar en espaol como:

La negacin de la conjuncin es la disyuncin de las negaciones.
La negacin de la disyuncin es la conjuncin de las negaciones.
O informalmente como:
"no (A y B)" es lo mismo que "(no A) o (no B)"
Y tambin,
"no (A o B)" es lo mismo que "(no A) y (no B)"
Las reglas pueden ser expresadas en un lenguaje formal con dos
proposiciones P y Q, de esta forma:

Dnde:

es el operador de negacin (NO)

es el operador de conjuncin (Y)

es el operador de disyuncin (O)

es un smbolo metalgico que significa "puede ser reemplazado

en una prueba lgica"

Entre la aplicacin de las normas se incluyen la simplificacin de

expresiones lgicas en programas de computacin y diseo de circuitos
digitales. Las leyes de De Morgan son un ejemplo de concepto ms
general de dualidad matemtica.

Ih) Funciones Equivalentes

Se dice que dos funciones de conmutacin son equivalentes si tienen
expansiones en forma cannica idnticas. Es decir, que tienen valores de
salida idnticos para las mismas combinaciones de entrada.
Dicho de otra manera, dos funciones de conmutacin son equivalentes si
tienen la misma tabla de verdad.
Ejemplo:
Cuntas funciones distintas (no equivalentes) existen para un
nmero n de variables?

o Esto se puede demostrar fcilmente, construyendo tablas de

verdad y basndose en que las funciones no equivalentes
tienen tablas de verdad distintas.

Si tenemos una tabla de verdad de una funcin lgica, f(a,b), es posible

escribir la funcin como "producto de sumas". Por ejemplo, dada la tabla
de verdad.

Observamos que las filas que tiene como salida un 0 son la segunda y la
tercera, entonces podemos escribir f como un producto de maxitrminos
.

Si queremos verificar esto:

Tendremos que la tabla de verdad de la funcin, calculndola

directamente, ser la misma.

Aun partiendo de la misma expresin booleana, se pueden realizar

distintas configuraciones equivalentes, as se puede ver en esta segunda
figura.
Se puede demostrar la equivalencia, simplificando la funcin, partiendo
de:

Realizando las multiplicaciones, tendremos:

Simplificando:

Con lo que tenemos la funcin obtenida por minitrminos.

Ii) Compuertas Lgicas

Un computador digital, como su nombre lo indica, es un sistema digital

que realiza diversas operaciones de cmputo. La palabra Digital implica
que la informacin que se representa en el computador por medio de
variables que toman un nmero limitado de valores discretos o
cuantizados. Estos valores son procesados internamente por
componentes que pueden mantener un nmero limitado de estados
discretos. Los dgitos decimales por ejemplo, proporcionan 10 valores
discretos (0... 9). Como sabemos en la prctica, los computadores
funcionan ms confiablemente si slo utilizan dos estados
equiprobables. Debido al hecho que los componentes electrnicos
atienden a dos estados (encendido / apagado) y que la lgica humana
tiende a ser binaria (esto es, cierto o falsa, s o no) se utiliza el sistema
binario y se dice que son binarias.
Los computadores digitales utilizan el sistema de nmeros binarios, que
tiene dos dgitos 0 y 1. Un dgito binario se denomina un bit. La
informacin est representada en los computadores digitales en grupos
de bits. Utilizando diversas tcnicas de codificacin los grupos de bits
pueden hacerse que representen no solamente nmeros binarios sino
tambin otros smbolos discretos cualesquiera, tales como dgitos
decimales o letras de alfabeto. Utilizando arreglos binarios y diversas
tcnicas de codificacin, los dgitos binarios o grupos de bits pueden
utilizarse para desarrollar conjuntos completos de instrucciones para
realizar diversos tipos de clculos.
La informacin binaria se representa en un sistema digital por
cantidades fsicas denominadas seales, Las seales elctricas tales
como voltajes existen a travs del sistema digital en cualquiera de dos
valores reconocibles y representan un a variable binaria igual a 1 o 0.
Por ejemplo, un sistema digital particular puede emplear una seal de 3
[volts 1 para representar el binario "I" y 0.5 [volts 1 para el binario "0".
La siguiente ilustracin muestra un ejemplo de una seal binaria.

Como se muestra en la figura, cada valor binario tiene una desviacin

aceptable del valor nominal. La regin intermedia entre las dos regiones
permitidas se cruza solamente durante la transicin de estado. Los
terminales de entrada de un circuito digital aceptan seales binarias
dentro de las tolerancias permitidas y los circuitos responden en los
terminales de salida con seales binarias que caen dentro de las
tolerancias permitidas.
La lgica binaria tiene que ver con variables binarias y con operaciones
que toman un sentido lgico. Es utilizada para escribir, en forma
algebraica o tabular. La manipulacin y. procesamiento de informacin
binaria. La manipulacin de informacin binaria se hace por circuitos
lgico que se denominan Compuertas.
Las compuertas son bloques del hardware que producen seales del
binario 1 o 0 cuando se satisfacen los requisitos de entrada lgica. Las
diversas compuertas lgicas se encuentran comnmente en sistemas de
computadores digitales. Cada compuerta tiene un smbolo grfico
diferente y su operacin puede describirse por medio de una funcin
algebraica. Las relaciones entrada - salida de las variables binarias para
cada compuerta pueden representarse en forma tabular en una tabla de
verdad.
A continuacin se detallan los nombres, smbolos, grficos, funciones
algebraicas, y tablas de verdad de ocho compuertas.

Compuerta AND:
Cada compuerta tiene una o dos variables de entrada designadas por A
y B y una salida binaria designada por x. La compuerta AND produce la
unin lgica AND: esto es: la salida es 1 si la entrada A y la entrada B
estn ambas en el binario 1: de otra manera, la salida es 0. Estas
condiciones tambin son especificadas en la tabla de verdad para la
compuerta AND. La tabla muestra que la salida x es 1 solamente cuando
ambas entradas A y B estn en 1. El smbolo de operacin algebraico de
la funcin AND es el mismo que el smbolo de la multiplicacin de la
aritmtica ordinaria (*). Podemos utilizar o un punto entre las variables o
concatenar las variables sin ningn smbolo de operacin entre ellas. Las
compuertas AND pueden tener ms de dos entradas y por definicin, la
salida es 1 si cualquier entrada es 1.

Compuerta OR:
La compuerta OR produce la funcin OR inclusiva, esto es, la salida es 1
si la entrada A o la entrada B o ambas entradas son 1; de otra manera,
la salida es 0. El smbolo algebraico de la funcin OR (+), similar a la
operacin de aritmtica de suma. Las compuertas OR pueden tener ms
de dos entradas y por definicin la salida es 1 si cualquier entrada es 1.

Compuerta NOT (Inversor):

El circuito inversor invierte el sentido lgico de una seal binaria.
Produce el NOT, o funcin complemento. El smbolo algebraico utilizado
para el complemento es una barra sobra el smbolo de la variable
binaria. Si la variable binaria posee un valor 0, la compuerta NOT cambia
su estado al valor 1 y viceversa. El crculo pequeo en la salida de un
smbolo grfico de un inversor designa un complemento lgico. Es decir
cambia los valores binarios 1 a 0 y viceversa.

Compuerta Separador:
Un smbolo tringulo por s mismo designa un circuito separador no
produce ninguna funcin lgica particular puesto que el valor binario de
la salida es el mismo de la entrada. Este circuito se utiliza simplemente
para amplificacin de la seal. Por ejemplo, un separador que utiliza i
volt para el binario 1 producir una salida de 3 volt cuando la entrada es
3 volt. Sin embargo, la corriente suministrada en la entrada es mucho
ms pequea que la corriente producida en la salida. De sta manera,
un separador puede excitar muchas otras compuertas que requieren una
cantidad mayor de corriente que de otra manera no se encontrara en la
pequea cantidad de corriente aplicada a la entrada del separador.

Compuerta NAND:
Es el complemento de la funcin AND, como se indica por el smbolo
grfico que consiste en un smbolo grfico AND seguido por un pequeo
crculo. La designacin NAND se deriva de la abreviacin NOT - AND. Una
designacin ms adecuada habra sido AND invertido puesto que Es la
funcin AND la que se ha invertido.

Compuerta NOR:
La compuerta NOR es el complemento de la compuerta OR y utiliza un
smbolo grfico OR seguido de un crculo pequeo. Tanto las compuertas
NAND como la NOR pueden tener ms de dos entradas, y la salida es
siempre el complemento de las funciones AND u OR, respectivamente.

Compuerta OR exclusivo (XOR):

La compuerta OR exclusiva tiene un smbolo grfico similar a la
compuerta OR excepto por una lnea adicional curva en el lado de la
entrada. La salida de esta compuerta es 1 si cada entrada es 1 pero
excluye la combinacin cuando las dos entradas son 1. La funcin OR
exclusivo tiene su propio smbolo grfico o puede expresarse en
trminos de operaciones complementarias AND, OR.

Compuerta NOR exclusivo (XOR):

El NOR exclusivo como se indica por el crculo pequeo en el smbolo
grfico. La salida de sta compuerta es 1 solamente si ambas entradas
son tienen el mismo valor binario. Nosotros nos referiremos a la funcin
NOR exclusivo como la funcin de equivalencia. Puesto que las funciones
OR exclusivo y funciones de equivalencia no son siempre el
complemento la una de la otra. Un nombre ms adecuado para la
operacin OR exclusivo sera la de una funcin impar; esto es, la salida
es 1 si un nmero impar de entrada es 1. As en una funcin OR (impar)
exclusiva de tres entradas, la salida es 1 si solamente la entrada es 1 o
si todas las entradas son 1. La funcin de equivalencia es una funcin
par; esto es, su salida es 1 si un nmero par de entradas es 0. Para un
funcin de equivalencia de tres entradas, la salida es 1 si ninguna de las
entradas son 0 (todas las entradas son 1) o si dos de las entradas son 0
(una entrada es 1 Una investigacin cuidadosa revelar que el OR
exclusivo y las funciones de equivalencia son el complemento la una de
la otra cuando las compuertas tienen un nmero par de entradas, pero
las dos funciones son iguales cuando el nmero de entradas es impar.
Estas dos compuertas estn comnmente disponibles con dos entradas
y solamente en forma rara se encuentran con tres o ms entradas.

Retornemos el teorema De Morgan:

El teorema De Morgan es muy importante al tratar compuertas NOR y
NAND. Expresa que una compuerta NOR que realiza la funcin (x + y)' es
equivalente a la expresin funcin xy. Similarmente, una funcin NAND
puede ser expresada bien sea por (xy)' o por x' + y' por esta razn, las
compuertas NOR y NAND tienen dos smbolos grficos distintos como se
muestra en la figura:

En vez de representar una compuerta NOR por el smbolo grfico OR

seguido por un crculo, nosotros podemos representarla por un smbolo
grfico AND precedido por crculos en todas las entradas. El inversor
AND para la compuerta NOR proviene M teorema De Morgan y de la
convencin de que los crculos pequeos denotan complementacin.
Similarmente la compuerta NAND tambin posee dos smbolos grficos.

Para ver cmo se utiliza la manipulacin del lgebra Booleana para

simplificar circuitos digitales considere el diagrama lgico de la siguiente
figura. La salida de la primera compuerta NAND es, por el teorema De
Morgan, (AB)' = A' + B. La salida del circuito es la operacin NAND de
este trmino y B.
X = [( A' + B ) * B' ] '

Utilizando el teorema De Morgan dos veces, obtenemos:

X = (A' + B)' + B = AB' + B
Note que el teorema De Morgan ha sido aplicado tres veces (para
demostrar su utilizacin) pero podra ser aplicado solamente una vez de
la siguiente manera:
X = [ ( AB' )*B']' = AB' + B
La expresin para x puede simplificarse por aplicacin de las relaciones
mencionadas anteriormente

X = AB'+ B
= B + AB'
= ( B + A) ( B + B')
= (B+A)* 1
=B+A
=A+B
El resultado final produce una funcin OR y puede ser implementado con
una sola compuerta OR como se muestra en la figura parte (b). Uno
Puede demostrar que dos circuitos producen relaciones binarias
idnticas Entrada - Salida simplemente obteniendo la tabla de verdad
para cada uno de ellos.

Bibliografia

 http://users.dcc.uchile.cl/~clgutier/Capitulo_3.pdf
o Profesor Rodrigo Araya E. Universidad tcnica Federico
Santa Mara. (2006)
http://www.uhu.es/rafael.lopezahumada/descargas/tema3_fund_04
05.pdf
o Doctor Rafael Lopez de Ahumada Gutierrez Universidad de
Sevilla (2005 - 2006)
http://www.erikavilches.com/Anterior/TC1004.01.200811/diapositiv
as/Algebra%20Booleana.pdf
o Erika Vilchez Gonzalez Dr. Charles Taylor - Thesis to opt for
the degree of Master of Science in Computer Science,
Artificial Intelligence specialty (2006)
http://serbal.pntic.mec.es/~cmunoz11/boole.pdf
o Javier Borge Holthoefer - Internet Interdisciplinary Institute
(IN3) leading the Complex Systems research group (CoSIN3).
(2011)
JOYANES AGUILAR, LUIS (1996).
o Fundamentos de Programacin, Algoritmos y Estructura de
Datos
2 Edicin.
Editorial Mc Graw-Hill.

JOYANES AGUILAR, LUIS / RODRIGUEZ BAENA, LUIS / FERNANDEZ

AZUELA, MATILDE (1996).

o Fundamentos de Programacin, Libro de Problemas

1 Edicin.
Editorial Mc Graw-Hill.