Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
LIBROS TECNICOS ~
ENCICLOPEDIAS
DICCIONARIOS
LITUATlHl:A
TEXTOS
ESCOU.US
SISTEMAS BOOLEANOS
qumica
fsica
111. matemticas
1v. biologa
v. geologa
1.
11.
seCCIII
~(2)
O.KM
=-==T
... -- I . . . .
-
.. a--._
Edicinoriginol:
800LEAN SYSTfMS
O
Primflraedicine1paflola,
C
1970
~~l;~~~L AlttllMSR,\, S. A.
Modri<H.Cloudioc,,ejlc,76
h11p.._obp1h-Prin...iinSp1in
SEI.ECCIONESGRAFICAS(EOldannJPaMC,:ioioDir0<<i6n,52,"1odrld(1970)
INDICE
l.
Circul!OII
C(>II
lottrruptorn
Conlf.lntesYlnabl<s,Z.Co-onosenoerle,2.C,,,,<Eloo .. tn1>1raldo,4.Coml)aroclnntn11"'o,penolo,...
!OUtnlp<wet El) 1
1 l.. open,:loneo ultmftl+ ~ l""'P"'J,S.Orcultooraotrlo1paralolo,7.
II
~1~~!t~4:1t~~:1::r:::
2.
Algebra de roaJuntos ..
Conluntoo1dement ...
J1.Unlaelntet...:cldti:
doo
r-~!:~Ji:!r!~: !: $:t.r:::J$.
41.Relodon .. ontnla!11chal6ll<loO<n'l)untoo(d1lllll
otrM0ptndo,...oonluntl$t.11,SO.Latnnrltl;rdod<lt
la lncllllln de conllllltoo 1 o! o!lo1bmo, Sl. Nolmeto dt
do no oonj~nto, 'J1, B!bllopol!a oobN m-
r~=~"::t.
4.
Aliebras
de 'Boole
..
Operaolo,i .. blnarl,
~s. Pootulodoodc
Huntinfto,, i=
:.~':"c1cde~'.1:f:f:;.~"\%."&.:or:u1':l:nf1;
~:O~:,! :!;1~.1:
~~1~1,mto
do -
,.
F11ncloaes
boolranu
lntrduccin,
y mtodO!l
de slmpllflnd6n
:l.nlt~~..:..:""~?... ~
Apndice
l. Tablero
Apindice
2.
lndltaclonn,
Notacin
de pruebas
...
..
n:spuntas, soludonts
PROLOGO
En el captulo 4 se
CAPITULO
1
Circuitos con Interruptores
1.1. Con el telono, y mlis tarde el computador electrnico, se ha hecho necesario el esNdio de las propiedades matemticasdeloscircuitosconinterruptoresmecnicos,electrnicos o eleetromeclnicos. Una ilustracin se:,nclla de lo que
es un circuito con interrup1ores la constiNye una estacin
de mercaocfas, donde un hombre, encargado de operar un
cierto nmero de puntos (interruptores), puede conducir un
tren por una va determinada entre el conjunto de todas las
vasoonectadasentresCqueconstiNyen!aestacin.
Una situacin similar, aunque mucho ms compleja, es la de una red
telefnica, donde el operador puede conectar una llamada o
varias, a travs dela red de lneas de telfono, por medio de
clavijas.
- En este captulo construiremos modelos matemticos de
circuitos con interruptotres sencllos, Supondremos que l
corriente elctrica es continua, procedente de un acumulador
o fuente especial, a menos que especifiquemos lo contrario.
Consideraremos idealizados los interruptores de manera que
conduzcan toda t. corriente o ninguna. Ignoraremos comple
tamente la resistencia y la capacitancia. El lector encontrar
ficilmente otras situaciones que se ajustan a este modelo; p. ei~
el problema de la circulacin de un gas a o-avis de una sucesin de vlvulas "que esttn completamente abiertas o completamente cerradas". Existen otros medios, a menudo mis
satisfactorios, de designar un interruptor abierto o cerrado.
Por ejemp]o, que eooduce o no conduce {como es el caso de
\os interruptores simples), que tiene alto o bajo potencial, que
tiene .polo magntico positivo o negativo, etc.
---/ln!ot<..P,or
ob<rto
est
cerrado, y si
, et~~::,a;myaosq~': ~n\~7:!;~':ri;'=n:i:r:!!~:'~~:
tados, abierto o cerrado, las variables pueden tomar slo dos
valores, uno correspondiente a abierto y otro correspondiente
a cerrado. Estos dos valores son las constantes del sistema y
usaremos el siguiente convenio:
a) Si un interruplorconduce, diremos que su variable toma
elvaloror.
b) Si un interruptor no conduce, diremos que su variable
toma el valor /J, y cuando escribamos z=/J se entenderi: "el
interruptor z no conduce".
Dos interruptores pueden conectarse entre sf de diferentes
lonnu; seguidamente estudiaremos las dos m simples.
.
COHIXIONES
EN
SIRll
1.3. La figura 2
_._,
__
FiG.2. Doslnterruptoraenserie
TABU L
Podemos tabular tambin los valores de la funcin T, correspondiente a cada uno de ests "pares, como hefIIOS hecho
en la misma tabla l.
En la primera fila, r e y toman el valor a y, por tanto,
conducen simultneamente.
A partir de la figura 2 es t.!.cil,
ver que en estas circunstancias el circuito completo conduce
tambin; luego el, valor de T., es a. Sin embargo, en las fi!as
segunda, tercera y cuarta. a! menos uno de los dos interrup-"
toresest abierto, es decir, no conduce, yes fcil verde nuevo
a partir de la figura 2 qu el circuito completo no conduce
en ninguno de estos casos. Luego en estas filas el valor de
la funcin T, debe ser {J. La tabla I se llama "tabla de verificacin", y la estudiaremos de nuevo cuando tratemos con
la lgica,peroel hechoimportante'que
aqu es que la funcin de transmisin
T,=,:0y
queda completamente
E/erclclo
lJ
la
funcin de
a) T,=(x0y)0z
b) T,=x0(y0:)
considerando las ocho combinaciones posibles de los valores
y /3 que pueden tomar las variables x,y,:.
Obsrvese que T, es la misma en ambos casos, con lo que
se deduce que la operacin 0 (estar en serie) es asociativa;
es decir,
(1'0y)0:t=1'0(y0:)
(I'
T,=:r!Dy
Como en el caso de dos interruptores conectados en serie,
podemos fonnar la tabla de verificaciones de los valores de.
la funcin T, a partir de los valores posibles de x e y.
Do. Interruptores en
pval~lo
de la siguiente forma:
TAU..0.lL 'hbbdov~dcdN
llltunipto..,.capanldo
mas
h1lerrupto""'rnpanlelo1en"rie
prole/o
:r+11
,,ri,
:r 1/
l
o
o
que l+l=l);
logas.
as se puede estudiar
Ejerciciol.S
l. Si dividimos los nimeros oatura\es en pares e impares,
podemos construir tablas de adicio y multiplicacio para
"par" e "impar''. Compltense las siguieotes tablas )' oompi
reese con las de los interruptores.
par
im=~
Impar
=~
par
lmp1.r
Solucin.
Como un circuito conduce o no conduce, la funcin que describe el circuito puede tomar el valor 1 o el va
lor O. Todas las combinaciones posibles de T y S aparecen
entonces en las dos primeras columnas de la tabla de verifi
cacones.
TraosmWones ea paralelo
yn.ade
T+S
TS
:s=no,eses<,d;b"j,dose,1,f;g""'
---0--0-rtc,
'l.
ms complicado,
T=x+y+z
S=r s
supongamos
que
T+S""'(.t+y+:)+(r
s)
T S;;(x+y+z)
(r s)
Ejercicio
1.6
l. Si Px+y,
Qp+q,
siguientes circuitos:
a) P+Q;
Rr s, S"'u
b) P Q; c) P Q+R;
e) P (R+S+P).
v, dibjense los
d) (R+S)
P;
2. Escrlbansefuncionesalgebraicasquedescribanlossi
guientescircuitos:
(d)
guiente,
sin:
5.
donde
P,
Escrbase la funcin
de transmisin
de transmi-
de
CONTACTOS
MULTIPLES,
INTERRUPTOUS
COMPUMINTARIOS
.
1.7. En el circuito de la figura 6 aparecen dos lnterruprores marcados con la misma letra :c. Esto significa que son
dos interruptores elctricamente independientes que operan .
siempre en el mismo estado. Es decir, si varios interruptores
de un mismo circuito se representan por la misma letra, estn
~r:1~tu:~~~to!
;u!~:ea~~:d::
1!i;~1l:!fc~~t~e~tedeti:
---r==
==-iL-{__-~
CONT...CTOS
MULTIPUS.
INTERRUPTORES
COMPLfMENTAA!OS
1~11~
"':
--_;...,;
-s-
~Contact<X
Ejercido
,rr+I(
l.7
mediante una
es T=:ty.
r,r.
DISIAO
DI
CIRCUITOS
SIMPLES
vm.
rx.y+x'.y'
Fl<l.9, Cir,;-uitodeunalmparadeescalera
as en que la tabla de verificaciones describe la funcin
Tx y+:r:' y', cuyo circuito muestra la figura 9. El lector
puede comprobar que sta es efectivamentela funcin pedida,
construyendo su tabla de verificaciones y comparndola con la
tabla VIII.
Ejemplo l. Constnlyase la funcin f, descrita por fa ta
bla de oericaciones
. Fila
'
!'
Solucin. La fila uno corresponde a a: y; la fila dos a
y la fila tres a ~-y.
x y',
La tabla corresponde
entonces
fzy+:y'+r'
Comprubese: a) construyendo f sobre un tablero de pruebas,
o b) construyendo la tabla de verificaciones para f.
Ejemplo 2, Un juego muy simple es el siguit11t11. Juegan
dos personas, A, B, y cada una trene una peseta. Lanzan al
aire simult6n1tm1entela peseta; si las dos manidas coinciden.
gona A, y si sal, cara y cruz gana B. Simtll111 nte uego me
di.an111 un circuiro elctrico.
Solucl611. La moneda tiene dos estados, pues toma los valores "cara" o "cruz". Las dos monedas pueden representarse
La funcin pan.Lseconstruyea~rtirdelas
filas una y
cuatro; la fila una corresponde a: y, y la fila cuatro a
% y', luegoLx.
y+% !f. Adlogamente, M.z, !f+x'. y.
Los circuitos correspondientea a estas dos funciones son !os
dela figura 10.
re::-~~ re:=~~
~~
flG,10
~2=--J
Ejercicio
l.8
podr, .
dife-
a) Mediante argumento
similar al utilizado en el texto.
b} Sustituyendo todos los va\o'es posibles de O y l en
la funcin de transmisin
final y comprobando los valores
de la lunci~n con los de la tabla de verificacin.
e) Construyendo el circuito en un tablero de pruebas (vase, para detalles, el apndice sobre el tablero de pmebas).
1. Encuntrense las funciones de transmisin
sentadas por las siguientes tablas de verificaciones:
f,
f,
g, repre-
g, h, para
'
1o
o
r.
o
o
3. Dibjense los circuitos
nes de transmisin anteriores.
correspondientes
a las funcio-
-,:.~:
SIMPLIFICACIONES
ALGEBRAICAS
Dt:
LOS
CIRCUITOS
. .' . : ~::=t
I!f!~tr9~1i-
'.0t:~
-"-s,-,_
x+yy+x
"Fm. l).
x.yy.x
leyes conmutativas
a+b=b+a
'a
a:(b+c) .. (a+b)+c
a
(b, c)-.(a
b)
~J,~:~f
1::odi;n~:O:i ~:~~
::~:~
:~:
el mismo que el de poner a y b en paralelo, y P'?fl'r Juego e eit
paralelo cpn ellos. Esto es evi~entem~te certo, no importa
qu interrup1ores unamos prmerc, y como consecuencia podemos escribir a+b+c sin ninguna ambigedad. Si en el argumento anterior, reemplazamos la palabra paralelo por la
palabra serie, vemos que la segunda ley asociativa es tambin cierta.
,
La. )ey dlStri6utiv es algo ms interesante. Puede establecerse en dos partes, donde la segunda no es cierta en el sistema de los nmeros reales. Establece que si a, b, e, son tres
elementos cualesquiera, y +, , las operaciones, en un sistema, entonces
.: (y+z)=.:y+.:
z
uy
iz-=(::i::+y)
'(.:+z)
-,-c:=t- -e:_'.]x,(y+z)
x.y+x.z
(x+y).(x+z)
x+y.z
l
l
O
o
o
o
o
o
10
x(l+z)
11
x,+11::
l
l
l
O
O
l
1
l
O
O
o
o
o
o
o
o
12
%+,-z
l
1
1
1
I
o
o
o
13
<x+,-)(;c+z)
l
l
l
1
l
o
o
o
tambin idnticas y, por tanto, prueban la segunda ley distributiva. La figura 12 muestra. los circuitos correspondientes
a cada ley y se puede deducir tambin a partir de ellos que
stas se verifican.
Ejerck.io 191
Comprubese que las siguientes identidades son ciertas mediante:
a) el dibujo de los circuitos correspondientes,
b) la construccin delatabladeverificacindelafuncin,
e) construyendo ambos miembros en un tablero de pruebas.
Leyes conmutatir,as
a) x+yy+a:
b) z
Leyes asociatiuas
a) z+(y+z)(x+y)+z
3.
leyes distributivas
a) ax:, (y+z),.x y+x
4.
leyes de tautologa
a) x+xx
b)
leyes de complemffltacin
a)%+.r'l
b)zr'O
6.
~s de
7.
Leyes de De Margan
a)(z+yY-ry'
.9.
to.
c)(1fY=%
absorcin
b)(::yY:r'+'lf
l
a) 0+%%
a)l+=""l
a) r .. o
y):
x+y, : .. (x+y),
5.
leyes con
8.
y=y x
b) :,: (y:)(%
b) 1 ::s%
b)Ox-o
b) O'.,.J
(:i:.+z)
si intercambiamos +
y=:c;
que es
y ,
si intercambiamos
la ley 6 ~).
FIG.14
Ejemplo l. Redzcase el circuito de la figura 13 mediante
el dlgebra de circuitos.
Sean P,Q,
y,X,z,:c; :c,y, y, e,
y Q=x. y+y z,
figura
T=:c. (y
x'+z :e)+~
(-:e.
y+y :)
SIMF'llfl\Cl0NESLC(BV,ICASOL0SCIRCUITOS
F10.. lS
que la estructura del lgebra de circuitos sea lo ms semejante posible a la de la aritmtica. Las leyes conmutativa,
asociativa y primera distributiva, se verifican aqu tal como
lo hacen en aritmtica. La segunda ley distributiva y las
leyes de tautologla y absorcin, son las que requieren mayor
atencin, pues las restantes, con el signo de complementacin,
nos recuerdan inmediatamente que trabajamos con el lgebra
de circuitos. Teniendo' esto en cuenta, y el convenio usual
para parntesis, , +, el ejemplo anterior se puede resolver
en la prctica de la manera siguiente:
T=:,;
ts : x'+z
.t)+x',
(:,; y+'y.
z)
Desarrollando:
T=.t"1"y+.t'.t'.z+%'
.t'y+%'
y,:
a:+%
y(1'+%')
pero.t"%'=0,.t"""I
Luego
1J:
T=.t' :+%'
es decir,
y):
T=(x+::t
(.t'+y)
(.t'+!f),:
luego T(.t'+Y)
Simplifiques,
x y+y,
la erpresidn
:+,y'.:+
y z'+x, y'. r .. T
Solucin.
T.t'l/+y:+iiy'z+yz'+.:t
y+a:lf
(H:')+y(:+:')
y :z-+:'~l
Luego
Txy+a:lf+Y
;r
y+yy
Ty+:ry'
T-(y+.t")(y+y')
Y+lf=J.
Luego
T.t"+Y
IJ':'
SIMPLlflC.O.CINES
ALGEBRAICAS
DE
LOS
CIRCUITOS
EjerclclD l.!>b
l. SimpliffqueDse las siguientes expresiones de interruptores y comprese el resultado construyendo tablas de verificacin para las funciones simplificadas y no simplificadas, o
dibujando )os circuitos correspondientes y viendo si sOn equivalentes.
a)x+.-c:'y
e)(:c+y)(:r:'+y)(x+y')
b)(:r+y)(.:i:'+y)
0 .2:y+:r:'y
d)y+:r:'y+:i:y'
2. Simplifquense los circuitoo de los ejercicios del final
del apartado 1.8. Constniyanselas tablas de verificaciones para
los circuitos modificados, y sense para comprobar que se ha
hecho una simplificacin correcta, mostrando que los valores
de la funcin de transmisin para ambos circuitos, simplificado
y sin simplificar, son idnticos. Constryanse los circuitos,
siempre que sea posible, y comprubense en la, prctica.
J. Dibjense circuitos arbitrarios y simplifquense.
4. Hemos supuesto implfcitamente que las transmisiones
verifican las mismas leyes que los circuitos, ocurre esto as?,
por qu7
S. Un viajero desea atravesar un rlo con un lobo, una
cabra y una cesta de coles. Slo puede llevar con l en el bote
una sola de estas tres cosas. Si deja slo al lobo con la cabra
se la comerla; asimismo ocurrira que la cabra se comerla las
coles, pero el lobo no es vegetariano. De qu manera debe
atravesar el rlo el viajero?
Este problema es muy conocido. Constryase un circuito
con cuatro interruptores, de tal manera que se encienda una
bombilla cuando se obtenga una posicin ilegtima. Resulvase
el problema.
{Dr. T. J. FLtTCHe:Jt.)
6.0 A, B. C, D,.son cuatro secciones,de estacin de mercandas y los trenes pasan por ellas en ese orden. W y X son
las seales "Prximo" y "distante" entre las secciones A y B;
Y y Z son las seales "prximo" y "distante" entre las secctc-
0-+X;
X-+AB
sealan dos
el mayor.
ADICION
BINARIA
MEOIANn
INTfRRUPTOR[S
nmeros binartos:
por ejemplo:
11
+IO
Ejercicio
l.lOa
'""'"
mitmbro
.g
o
1
1
o
o
o
o
1
1
. ..........
,.,.,
Stiundo
o
o
1
1
o
o
1
1
o
o
1
1
o
o
1
1
o
1
1
1o
1
o
1
o
1
o
1
o
o
o
1
1
o
1
1
o
o
1
o
o
1
Fl<:1.16
(11)
Totol
(eu)
o o
O I
O I
I O
[!]
u"'xlf+r.c'y
[2]
En los circuitos previos considerbamos las variables booleanas (z e y en este caso) como interruptores. Veremos ms tarde
que esto es restrictivo y, por ahora, slo supondremos que. son
datos que se dan a la unidad de suma.
Si consideramos ahora una sumadora completa, tenemos
que disear una unidad que pueda aceptar los dos sumandos
de un paso determinada de la suma, y el dlgito que se !Jeva
del paso anterior. Trabaja entonces con tres nmeros bina
rios y ocho combinaciones en total. La tabla de adicin para
ues dgitos se da en la 'tabla xm.
s, /lew
00
Suma
~00
'''1
'1
1 O
O 1
1 0
1'1
y z+x y'
z.+ .x Y z'+:t
y' z+x' y
z'+.x y'
z"+x
y z
y z
[3]
{4\
terruptores, sta puede obtenerse mediante otro circllito independiente, y COJtlO el dato z de un paso determinado est
conecrado.l
resultado e del paso previo, la seal se puede
obtener COiJ.str'u}'end 'circuitos e', complementarios de e, tanto
en la sumadora completa como en la intermedia. A.s, aunque
ADJCION
Obtenemos
(:(
=z(:r:'y+x)+xy:'
y t
-~ (:r:'+:c) .(yu)+:r
Luego
' =:(:,:+y)+(
(S]
(:e y)
'es
yn
como
:'z=O
.'l:''1/'+r'!/=r'J/
c'::}.~(x'+()+.x'IJ'H:t.'IJ'
Lo que
:
podemos simplificar en
r!>=t,
(z'+if)+r'
y'
CIRCUITOS
CON INTERRUPTORES
(r')
(6]
uz' (Z y+x
!/)+z (:(/+a: Y)
en
[7]
~:~
--,--,
,'
RKvhtdo
"
al consfigura 17.
en ambas
e Y"" l en
viceversa.
Luegosizcooducelacorriente,~siguealpasoaotcrior,
por r, con lo que se crean estragos.
Ejerciclo 1.IOb
Encuntrese la funcin booleana que describe la funcin
complementaria del dlgito "que se lleva" para una sumadora
intermedia y demuhtrese que una sumadora intermedia ccestruida mediante interruptores no requiere diodos y tiene el
circuito que muestra la figura 21.
LlOc
FIG.Z3. Swn.1doracompletali11diodos.
corriente en un solo sentido, o bien diodos. Es posible disear
una unidad que requiere solamente interruptoru, pero en este
caso es necesaria una potencia supletoria en cada paso. Animamos a1 lector a analizar el esquemade la figura 23.
a) Simpliffqueselafuncin
CZ
[)]en
Demustrese
UZ {f
!,1+%''
y')+z' (~ y'+'X
IJ)
CIRCUITOSCON
INTEAAUl'TORE5
d) Dedzcase de e) que la figura 23 representa una sumadora completa que no requiere diodos (es decir, que no
existenposibilidadesdecone,ionesdirectasentrelaslneas
? y z').
e) Demustrese cmo esta sumadora completa, junto con
!a sumadora intermedia descrita anteriormente, se puede usar
paraconstruirunasumadoracapazdesumarnmerosbinarios
de cinco dgitos.
Algebra de conuntos
CONJUNTO$ Y IUMINTOS
2.1. El concepto de conjunto surge de manera natural en
muchas situaciones de la -vida real, y esperamos aquf agrupar
y estructurar la mayor parte de nuestras experiencias. Por
ejemplo, solemos hablar de peUculas de guerra, pescaderas, ca
sas de ladrillos rojos, libros de matemticas, etc. La lista es
interminable.
A partir de este proceso de abstraccin se pueden formular
dos propiedades fundamentales de los conjuntos. En primer
lugar, cada conjunto contiene un cierto nmero de partes;
p. ej., una casa de ladrillos rojos es tin miembro del conjunto de todas las casas de ladrillos rojos. y un libro de matCDlticas es un miembro del conjunto de todos los libros
de matemticas. A los miembros de un conjunto S los llama
remos "elementos" de S. Los elementos los representaremos
mediante letras minsculas, y cundo escribamos ::,: e S querremos decir "el elemento ::,: es un miembro del conjunto S".
En segundo Jugar, podemos siempre saber si un elemento dado
pertenece o no a un conjunto dado S. En los ejemplos anteriores los conjuntos. estn definidos mediante una propiedad,
di! tal forma cjue si preguntamos a un elemento cualquiera si
es, p. ej., un "ladrillo rojo, nos dar una de las respuestas
"s" o "no".
Es imprescindible precisar los elementos de que consta
un conjunto dado, y as{ podemos definir un conjunto me
diante una propiedad no ambigua y determinada. Un conjunto
que satisface la condicin anterior se dice que est bien defi-
S=lJuan,
Pedro, Federico!
Castellanos!
6. [Espafioles]
Considrense las preguntas 5 y 6. Est bien definido ei
conjunto de todos !OS castellanos? Depende de a quin llamemos castellano; puede ser una persona nacida en Castilla, o
bien, una persona nacida en otra regin, pero cuyo padre
naci en CaStilla. Supongamos que restringimos el conjunto C
a las personas nacidas en Castilla. Entonces,
es un
conjunto
bien
definido.
Anlogamente,
el conjunto
E= !xi
de
2. 5=12,4,6,8,10\
3. Es S=l2,4,6,8,10!
8,1011
un subconjunto
de
S-!2,4,6,
igual
aL,
interseccin W".
~
L
rx>.
Fln.24.
~,,w
Fta. 25. Unin de dos con
juntos
lnterseedadedos
co!ljuntos
J. Describase la
conjuntos:
unin
la interseccin de
los siguientes
Y).
[hembras!=0.
~:)!~t:.1:1f:'1CX:J:fn)~1~!~~!mM
ci~r:_
tres
1ci:!~~o
y la complementacin ('), de cada una de las cuales surge un
nuevo conjunto. Un sistema de este tipo se llama "cerrado".
l.
z ..
Z'.
Ejercicio 2.3
1.0 Sea B= lblb es alumno de una escuela nacional]. Seleccinense diferentes conjuntos universales y obtngase B' para
cada uno de ellos.
DE VINN
DE CONJUNTOS
JntmeccinXnY
UninXUY
C.Omplementacin X'
..,..-
AlalltACt:CONJUNTOS
racionales, la neerseccte de los dos no requiere que ccesderernos X antes que Y, o viceversa. Anil.logamente para la
unin.
l.aleyasociativaparalainterseccin
xn(YnZ)-(XnY)nZ
no es tan evidente, pero puede comproban;e su veracidad a
partir de diagramas de Venn que representen los dos membros, como en la figura 28. La figura 28 a, representa YnZ;
y la figura 28 b, representa X n (Y n Z) que constituye el primer miembro de la identidad. An4\ogamente se construye el
segundo miembro, y se comprueba que los dos son iguales.
@
z
~) E! sombrado sepretenta
(YnZJ
l>)
E! &ombreado repruenta
Xn(YnZJ
e) El 1o>mbreadorepttSe:nta
(Xnl')
4)
El &ombrudo representa
(XnYJnZ
Sedejaallectorlademostracin
de la ley asociativa para
la unin
XU(YUZ)-(XUY)UZ
Y)U(XnZ)
~@\@@@
Z
YuZ
Xn(Yu_Z)
(Xnl')
'
XnZ
(Xnl')u(XnZ)
la
ley dis-
Ejmlcl~ 2.4
1. Identifquense las siguientes expresiones sobre diagramas de. Venn, sombreando las regiones correspondientes:
d) X'UY'
e) (X'n Y1U(X'n ni.J(Xn Y')
f) {Xn(YuZ>r
a) X'U(XnY)
b} XU(XOY)
e) (XUY)'
Xn(YnZ)-(XnY)UZ
distrif)utioos
Xn(YUZ) ... rxn Y)U(Xn.ll
XU(YOZ)=(XU
nn(XUZ)
d)
xux-x
xnx-,x
e) ley de romp/ementacin
XUX'l
Q
Aes dt
XnX'=0
absorci6n
XU(Xn
Y)X
g)
leyes de De Margan
. (XUY)';,;.X'\Y'
h)
Uyescon
Xn(XUY)-X
(XnY)'-'X.''Y'
0el'
(1) 0UX=X
(II) IUXl
(Ill)Y-0
1nx ... x
0nr-0
0'-1
.SJ
F1G. 30. AB
4.0
Si A y B son dos conjuntos, se llama A /J. B a la dife
renda simtrica de A y B, que se ilustra en la figura 31.
mu~:~~~~~
En estos. ejercicios hemos demostrado que las leyes conmutativa, asociativa y distributiva, se verifican para la unin
y !a .interseccin, como asimismo otras leyes. Estamos ahora
en una situacin similar a la del final del captulo de circuitos
con interruptores, donde obtuvimos un conjunto semejante
de leyes para los interruptores. Ali( observamos una dualidad
entre O y J,y +y,
(Las operaciones de serie y paralelo de los
interruptores.) En las leyes de! ,1gebra de conjuntos se puede
obsel'\l'ar una dualidad similar. Las leyes son simitricas res
pecto a las operaciones u, n, y 0 e !, y se puede ballar la dual
de cualquier identidad intercambiando u con n. con tal que
tambin intercambiemos 0 con !. por ejemplo, en los ejerciclos previos obtuvimos La identidad 0 UX-X. Reemplazando u porn, y 0 por!, obtenemos!nX-X,
que es la dual
de la identidad anterior. Anilogos intercambios en las restantes leyes producen la ley dual. El principio de dualidad se
aplica tanto al lgebra de conjuntos como al lgebra de interruptores.
PI.UHAS
DE ALCUNAS
UYIS
u Y)n(Xu'Z)
'(a)X
(d)XuY
(b)YnZ
z
(~) XuZ
(cJ Xu(YnZ)
(1) (XuY)n(XuZ)
Fio.32
Si a e X, entonces aEXU Y y tambin de XUZ, y si
un elemento de dos conjuntos pertenece a su interseccin.
ci
es
entonces
ru
Y)n(XUZ)
XCY
Fto.33
lacinsobre un diagraffiadeVenn(Fig.33),yconprobarfklmente que tambin.son vlidas para ese diagrama las relaciones XUY=Y;
xnr-x;
X'UY=l; y XnY'=0.
, Como un ejemplo de cmo podemos probar la equivalencia
de estas identidades, consideraremos el caso siguiente. Supongamos que queremos demostrar que XgY y XnY'-0
son
equivalentes. Tenemos que probar dos cosas: primero, que
de suponer Xi;Y, tiene que ser XnY'=0;
y segundo, que
desuponer XnY-'=0,
tiene que ser XgY.
Consideremos el primer caso y supongamos que x s Y.
Sea x un elemento cualquiera del conjunto X. Entonces,
como zeX y X!;;;Y, se deduce que zeY. Luego z<tY',
xnr-0.
Xnr.0. Si xn r-0,
Ejercicio l.6
1.
X!;;Y;
a)
Demubtrcse
Y'!;;X';"XUYY;
mostrando
x o r-x.
X'UYl;
XnY'-0
2. La equivalencia de X~Y y Y'!;;X' conduce a una.paradoja alarmante (publicada por primera vez, en ThlOl'Q, en
1937, por C. G. HEMPEL).
pardo es un dato positivo de B' S C', pero como esto es equlvalente a C S B, un perro pardo sera tambin un dato positivo de esta relacin. Luego, para confirmar su hiptesis original de que todos los cuervos son negros, el cientfico podra,
legtimamente, dedicarse a observar perros pardos, y por cada
uno que viese tendra un nuevo dato para confirmar su hiptesis. Explfquese la paradoja.
LA TRANSmv1DAD
D[ LA INCLUSION
Y EL SILOCISMO
DE CONJUNTOS
2. PSC
3. PSF
donde las dos primeras sentencias se llaman "premisas" y la
tercera "conclusin". Lavalidez de la conclusin depende de
la transitividad de la inclusin de conjuntos, que se puede
expresar como: si ASB y B!;;;C, entonces ASC.
Podemos probar que S es transitiva de la siguiente forma:
sea a Wl elemento arbitrario de A, con lo que AS B asegura
que a e B, y B ~ C asegura que todos los elementos de B lo
son de C, en particular aeC. Como a es un elemento arbitra
rio de A, resulta que todos los elementos de A son de C.
Luego ASC.
La inclusin de copjuntos es entonces transitiva y la conclusin obtenida a partir de las premisas es vlida. Se pueden
construir silogismos ms complicados a partir de las mismas
LATIW'ISITIVIOADDELAINCLUS10NDE.CONJUNTOS
F's;;C'
CUF=F;
CnF=C;
C'UF=l;
CnF'-0;
son. equivalentes.
La primera premisa se puede escribir
tonces de las siguientes formas equivalentes:
A todos los gatos les gusta el pescado
Lascriaturasalasquenolesgustaelpes
cado no son gatos
Losgatosolascriaturasalasquelesgusta
elpescadosoncriaturasalasqueles
gusta el pescado
Lascriaturasqtiesongatosylesgustael
pescado son gatos
Lascriaturas,onosongatos,olesgusta
el pescado
Noexisteningngatoalquenolegusteel
pescado
en
es;; F
F'J;;;C'
CUF=F
CnF=C
C'UF.=l
CnF'z:0
CnF'=0
Ps;;C
EJEMPLO
l {L!!WIS
C\RROLL).
Resulvanse los silogismos
siguientes:
1.. Ningn nombre de esta lista deja de ser adecuado para
el hroe de una novela.
2. Los nombres que comienzan con una vocal son siempre melodiosos.
1.0 Ningn nombre es adecuado para un hroe de novela,
con tal que comience en consonante.
- Tomemos cerno conjunto universal l el conjunto de todos
los nombres, y sean A el .conjunto de los nombres que comtenean con una vocal, B el conjunto de nombres de la lista,
C el conjunto de nombres melodiosos, y D el conjunto de
nombres adecuados para. un hroe de novela.
Consideremos la primera premisa. Si ningn nombre deja
de ser adecuado, todos los nombres son adecuados, y la primera premisa se puede escribir en la fonna:
J) Bs;;D.
La segunda
premisa es:
2) As;;C.
La
DnA'-0.
EEMPLO
2.
Constnya.se un silogismo con tres premisas.
Un silogismo de tres premisas requiere cuatro conjuntos
A,B,C,D, y la cadena As;;B!;;Cs;D. Las premisas del silogsmo son entone-es As;: B, B s;: C, C s;: D. Seleccinense cnatro
conjuntos, por ejemplo:
es
B es
C es
Des
el
el
el
el
conjunto
conjunto
conjunto
conjunto
'El silogismo
Los hombres
Los hombres
Los hombres
ms seaclllo es:
casados son felices:
felices conien mucho;
que comen mucho son obesos;
Los que
Ejercicio l.7
tas
s.
llblloJnlfi,
Probablemente,
la mayor
coleccin
de silogismos
es la de
reunidos en Th, Mathe
marical ,Recreations of Lewis Carroll, vol. I, "Simbolic Logic
and the game of logic". Dover Publications, 1958 (no ae dese-
Y)
1icos
respeciivamente. Entonces X n Y es el conjunto de los estudiantes que son las dos cosas y XUY es el conjunto de los
estudiantes que son matemticos, fsicos, o ambas cosas a
la vez.
Entonces
ll(XU Y)50,n(X)=40,n(Y)=20
y usando
n(XU Y)=n(X)+n(Y)-n(Xn
Y)
obtenemos
50=40.+20-n(XOY)
luego existen diez estudiantes que son simultneamente mate
mticos y fsicos.
Si tenemos tres conjuntos A, B y e; el nmero de elementos de su interseccin se puede obtener extendiendo la expresin anterio_r. Si escribimos X=AUB
e Y=C, la expresin
se convierte en
n[(A
u B) u CJ=n(Au B)+n(C)-
n[(A UB) n C]
[l]
ahora bien,
(AUB)UC=AUBUC
n(A UB)-n(A)+n(B)-(A
nB)
n C)+n(B !1 C)-
u Bu
en [l] obtetlemos
C)=n(A)+n(B)+n(C)n(A
-n(CnA)+n(AnBnC)
n B)n(B n C)
C)J
+ 19+
13- ll-7-9+4s30
~~"
A
D E F
G
""'"
Se pueden plantear otras cuestiones, tales como el nmero
de estudiantes de matemticas y fsica que no lo son de qumica, o el nmero de estudiantes que estudian una sola materia. En el diagrama de Venn (Fig. 34), la regin B representa a los que estudian matemticas y fisica, pero no qumica. Es evidente que
n(B)-n(M n P)-n{M n PnC)
las ma-
U PUC)n(PUC)
-n(MUC)-n(MUP)
n(MUP),
obtenemos
_,
Hay
estudiantes de una
sola
materia.
de stos, 4 tenan falta de frenos y de direcciil, l de dreccin y de luces, y 3 de rreaos y de luces; l coche tena falta
delas tres cosas.
a) Cuintos coches no tienen ninguna falta1
b) Si se permite circular a los coches con slo falta de
luces, ci.Jntos coches tienen que repararse1
2. Una firma de construccin decide comparar la situacin legal de ISO hombres. Se eligieron tres clases,casados,con
unos treinta aos de edad, y ganando alrededor de 250 000 pe
setas al afio. Se encontr que 94 hombres estaban casados,
que 104 tenan unos treinta aos. y que 32 ganaban ms de
250000 pesetas al ao, que 31 estaban casados y tenan unos
treinta aos, 5 de los del grupo de treinta aos ganaban unas
250 000 pesetas por afio, asimismo como 13 de los casados;
finalmente haban 3 hombres de treinta aos, casados y ganando unas 250000 pesetas al ao. El propietario de la firma
sospech que no se haba obtenido ninguna comparacin, tenia razn?
3.' En una oficina de colocaciones se ofrecen 29 puestos
del ramo de la construcci6n. l3 son de albailes, I3 de fontaneros y IS de carpinteros. De stos, 6 tienen que ser albailes y fontaneros, 4 fontaneros y carpinteros y S albailes
y carpinteros.
a) Cuntos tienen que ser las tres oosas1
b) A cuntas personas que slo tengan el oficio de alliail se les puede ofrecer empleo1
e) Cuntas personas se requiere que sean.carpinteros y
albailes,perono!ontaneros1
4. Las ofertas para los puestos vacantes de la pregunta 3
han sido las siguientes: acudieron 29, de los cuales 15 eran
fontaneros..I6carpinteros,6albailesyfontaneros,5fontanerosycarpinteros,Yllastrescosas.
a) Cuntos albailes haba?
b)
e)
5. Demustrese
se verifica:
W, X, Y, Z,
n(W UX U YU 2)-n(W)+n(X)+n(Y)+n(Z)-n(WnX)
-n(X Y)-n(YnZ)-n(Zn W)
-n{XOZ)-n(Wn Y)
+n(wnxn Y)+n(Xn YnZ)
+n(YOZOW)+n(WnXnZ)
-n<wnrnznX)
BlbUopaffa
C.Vll\lLO
;3
Clculo.proposicional
Yo soy un.hombre.
A todos los cogi la nevada.
El autobs es lento.
Los gatos comen carne, o bien, los perros beben leche.
Si hoy llueve no lucir el sol.
La luna est hecha de queso amarillo.
mientras que
g) Apresrate.
h) Adnde vas?
z) Esta oracin no es cierta.
nosonpro.i;:e_siciones.
e) est
unidas por la condicional Si ... entonces ... En este caso particular se ha omitido la palabra entonces, pero queda sobreentendida. Clculo proposicional es el nombre que se da al
estudio de las proposiciones en cuanto estn construidas a
partir de proposiciones ms simples.
~erclclo:3.1
Cb.les de )as siguientes oraciones son proposiciones?:
a) Yo soy un hombre y t eres una mujer.
b) Es usted feliz?
e) Los gatos pueden medir dos metros y medio de altura.
el) Yo siempre digo la verdad.
e) Hijos e hijas unidos.
fJ El Madrid es un buen equipo de ftbol.
8) Si el Barcelona gana al Bilbao, quedar campen.
h) Nadie en su sano juicio come carbn.
I) S!, lo har.
j) Federico dijo: ''s, !o har".
3.2.
En el lenguaje ordinario,
"y",
llamada conjuncin,
"o", Jlamada dis)uncin,
"p y q"
''p o <t'
"p
si y slo si
q"
como
(bicondicional).
"ueeve" y "me
mojad",
podemos escribir la proposicin a) como p A q, siendo la conectiva la conjuncin (A). Anlogamente, b) es la disjunciqn
p V q, y c) la condicional p+ q. La proposicin d) requiere
parintesis para precisarla. Supongamos que p, q son las proposiciones anteriores, y que r es la proposicin "No llevo mi
impcrmeab!"; entonces la proposicin completa se debe escribir de la siguiente forma:
(Si llueve y no llevo mi impermeable)-+ Me mojar .
. En forma algebraica
SISTlMASIOCll.U'IOS5
(p
II
r) -+
la coma!
hubiera
sido
imprecisa
sin
Adems de estas conectivas simples, en el lenguaje crdlnario se usa a menudo la negacin; por ejemplo:
: "Llover"
"No l!over"
-:!/'El sabe leer" "El no sabe leer"
Si p es una proposicin cualquiera, escribimos su negacin
como - p, y leemos "no p''.
Ejercicio 3.2
J. Si p y q son las proposiciones "les sueldos son elev.ados" y "los precios son altos", respectivamente, exprsense
las siguientes proposiciones mediante palabras:
a)p
().P.
b)q ..... p
g)-p__.q
c)pVq
h)""l'Aq
d)pAq
e)p<>q'
2. Combnense la) y l b) en una misma proposicin mediante las conectivas a)Ab)Vc) ......
3. Si p, q, r, son las proposiciones "los gatos son agradables", "los perroscorren de prisa" y "Me gustan los conejos",
escrbanse con -palabras !as siguientes proposiciones:
a}"(pllq)Ar
b)'(pAq)V-r
~) p ..... (-q/1,-.,q)
4. Si p,q, r, son las proposiciones '.'traba>') mucho", "aprobar mis exmenes" e "ir a la Universidad", respectivamente,
e)
"p es una condicin suficiente pira q" se puede escribir como p+ q, y dedzcase de aqu que
se convierte en
"si dos lados de un tringulo son iguales, ste es issceles".
d) "p es una condicin necesaria y suficiente para q" se
puede escribir como p ..... q, y dedzcase de aqu que r, se
puede escribir como "dos lados de un tringulo son iguales si
y slo si el tri:ingulo es issceles".
e) Demustrese que tf) puede escribirse tambin como
(p+ q) /\ (q+ p), y que la proi,osidn f) puede escribirse "si
dos lados de un tringulo son iguales, el tringulo es issceles,
y si el tringulo es issceles, tiene dos lados iguales".
llpAql-II
-ICIPll)A(lqll)l-l
y lql-0,
lls vel=l
e-
IOPI-O)AOql-=O)I,]
AJ,;c10N!SYTABI.ASDEVERIFICACIDN
la.
proposicin
:!;e:~
:::p:r~~d~, 1~1~int5q\!;~-=~;
La condicional p+q tambin satisface las condiciones de una
funcin.
Pero jp.-+ql=I
para todos los casos, excepto cuando
.
IP]-lylql..,O,
y tambin
'
IP-+'cJl=d
para todos los casos; excepto cuando
lqlmJylpl-=0.
Luego
para los casos
IP-+q)A(q.. .,.p)l=l
1,1-1. ll=l,
1,1-0, ll-0;
'
l
o
o
_,
o
o
l
l
FU>!CioM~
pA'q
l
o
o
o
que
,,,
,..,
l
l
l
o
o
:
"
:
,!
1o
:
1
l
or-1
mismos
ficacin
IPl=IOI;
valores
de verificacin
correspondientes
a
es
Es~e se !Jama
para
todos
los valores
de veri-
principio de equfoaleircia.
Ejercicio 3_.6
l. Demustrese que los siguientes pares son equivalentes:
a) p+q; (,p/1.,,,q)+P
d) p,.q; (,p/1.q),.q
b) p,.q;q+p
e) p++q; (p/1.q)V(pAq)
c) p,.q; (pA.....q)-+(rA-r)
f) (,p+q),.r; (pA.....qAr)Vr
2.
comenz \a guerra si
slo
. Interruptores
Cdlcu/o
proposicional
A
V
Consideremos un ejempln particular. Supongamos que deseamos hallar una funcin proposicional equivalente a p,. q.
Primero constmimos la tabla .de verificaciones (tabla XVI).
'O
1
1
Sistefueraunproblemadeinterruptores,lafuncindetransmisin sera
pq+p'q+'[l<f
La
si
Es decir,
pq+p'q+,P'
'
<fzpq+p'q+'[lq+'[I
=q' (p+'[l)+p'.
(q+q')
p'+q
que corresponde a !a funcin proposicional -P V q." Si las leyes
dellgebradeinterruptoresvalenparaelclculopropooicional, las dos funciones -pVq y p-i,q deben ser equivalentes;
es decir,
Obtenemos esto en la tabla XVIL La tabla de verificaciones se ha construido de manera algo diferente a las tablas
previas, con el fin de economizar escritura. Las variables pyq
de las dos primeras columnas aparecen exactamente igual que
en las tablas anteriores. La expresin que queremos valorar,
en este caso (p ..... q) .... (pVq), se han escrito algunos espacios aladerechadepyq. El primer paso consiste en valorar
p ..... q,p y volver a escribir q en la columna 3. Entonces se
".
rNq
O II
n~o
ll
otro,
per" no ambos~
Solucin.
bla XVIll).
La tabla de verificaciones de
J._
se da abajo (ta
TABLA
XVIIl
p'!_q
~
"''
'
10
II
01
00
l
O
l
O
"
'
'-"'"
"''""
1001
1110
0001
0010
0101
0100
1011
1000
J. Usese laanalogf.aconlosinterruptoresparahallarlas
funcionesequivalentcsalassiguientes
a) p ... q
b) (pVq)-+r
e) (p+q)+r
d) \(p-+q)A(q-+r)\ -t-(p-+r)
e) (pA.....q)-+("'9Vr)
1) (p-+q) ... (.....q-+""fl)
t y+
'"
mediante la tabla de
'"
Encuntrense
funciones ~quivalentes a
a) ptq
e) (ptq)tr
p!(l
d) CP!q)!r
b)
Ley conmutativa
a) pVq .... qVp
2. Leyasociativa
b) pA(qAr) .... (p"'q)Ar
a) pV(qVr), ....,pVq)Vr
ley
distributiva
a) pA(qVrJ
b) pV(qAr)
(pAq)V(pAr)
(pVq)A(pVr)
4. Leyes de tautolog!a
a)'(pVp) .... p
5. Leyes de
b) (pllp)++p
negacin (complementacin)
a) IPV-Pl=l
6.
b) IPA-PI"'
Leyes de al,sorci6n
a) pV(pAq) ..... p
b) pA(pVq)++p
7. Leyes de Dt Morgan
a) -(pVq) .... -pA,..,,q
8.
LeyesconOyl
a) OVp
p
b) 1 Vp
l
c) ...... J
O
Se puede observar que estas leyes son las mismas que las
del lgebra de interruptores y las del tlgebra de conjuntos,
con la correspondencia
1. l.acondicionalconectivaestransitiva;
p+ q y q+ r, entonces p -t r. Demustrese
proposicin en forma simblica:
[(p--+q)A(q.-+r)J--+(p
esdecir,si
estableciendo la
..... r)
comprobando
2!
Es
3.
1<P1,i-c,1,1-1
es
decir,
conmutativa?
Encu6itrensc
proposiciones
a) (p!p).j.p
b)(p!p)J.(p!p)
e) (p!p)! (q!q)
equivalentes
d) (ptp)tp
e)(ptp)t(ptp)
O (ptp)t(qtq)
TIOllMASY OIMOSTUCIONIS
3.9. Se pueden usar proposiciones equivalentes para exponer formas equivalentes de un mismo teottma, con lo que
Premisas= conclusin
y leemos ::;,,como "implica".
Los teoremas dados antes como ejemplo se pueden escribir
ahora de la siguiente fonna:
n es un nmero entwo :=> 2n es un nmero par
==-
,:Ci
...
=t;
=t
...
=tl=l
IPl=lql=lrl=
.. =l
En la prctica, siempre aceptamos las premisas como ciertas y probamos el teorema demostrando la relacin de ausa
y efecto entre p y q. Muchas teoras pueden construirse sobre
premisas que no son ciertas, pero son vlidas, con tal que
aceptemos estas premisas como ciertas; la geometra eucldea
es un buen ejemplo,.
Como ejemplo final, considerarei:nos p, q como las pro.
posiciones "la luna es un cubo perfecto" y "slo existen ocho
puntos que estn a una distancia mhima del centro de la
IUJ)a"; entonces p=>q,es decir,
"Si la luna es un cubo perfecto, s,6Jo existen ocho puntos
que estn a una distancia mxima de su centro"
es. un teorema vil.lido, ya que si tomamos p como cierta, en
toncessededuceq.La
relacindecausayefectoexiste,
dedu,cirse a .partir de p, .y elteorema es cierto.
En resumen:. un teorema p=>q es una sentencia en la
que p es cierta, y que se toma como cierta demostrando que
la veracidad de q es una consecuencia de la veracidad de p.
Existen teoremas de !a forma "p si y slo si (/'. Por ejem
plo, en el Cl!Ptlo4 mostramos que un sstema es un lgebra
de Boo\e si y slo si se verifican los postulados de Huntington. Escribimos este tipo de teoremas como pe:;,q, y del
resultado de que p .... q es equivalente a (p+q)ll(q+p),
se
sig\1~ que pan probar el teorema p~q, hay que probar tes
dos teoremas p=q y q=>p.
q puede
FORMAS
(QUIVllNTES
Y DEMOSTRACIONES
3)(pA-q)-+,..,P
4)(pA-q)-+q
la
O 100
100
O 111
O l l l
1 OO
1 000
l 001
1 001
1
JO
O
O
I
l
1
l
.... q(pll
l O I
1 010
O 10
O I O
1 O 1
l 01
l 11
1 .l l
a)
b)
e)
tonces
d)
ces 3:i
O
O
l
1
1
1
100 11
100 11
111
1 1 l O O
000 l l
000
11
001 00
001 00
111
110
101
I O O
011
010
001
000
l 00
100
J 11
1 1 1
000
000
001
001
100
001
100
OO I
100
001
LOO
001
e)
una contradiccin.
estas
de
l.p=>q
2. (q)=>p
3. (pllq)=> ...... p
4.(pllq)=q
5. (pll .... q)':::;,rl\r
Estas
equivalentes; podemos escoger el ms fcil de probar, probarlo, y con esto tenemos tambin probados los restantes.
EJEMPLO 2. Prubese que V 2 es. rraconet.
Solucin. El teorema se puede escribir:
"Si 2 es un nmero entero, entonces V2 es irracional."
Las posibles premisas
(tabla XXII).
y conclusiones
se pueden
tabular
Conclusiones
2.
,..,q:::::,.,...p
3.
{ph,..,q):::;,.
2esentero
V2esracional
... p
4. (ph....,q)=>q
5.
V2esirracional
a es
eetero
y V2 es racio11al
(pA,._q):::::,.~A-,
~~~160 _, M
es entero
contradiccln -V2
noesraciooal
una contnidledn
cualqu!era(incluycn
do lasdosanterlo=l
2=a'/b'
y 21:i'=a'.
2b'ao4c', es decir,
b'=2c'.
Consideremos ahora la fila 2, que sugiere una prueba diferente. Supongamos ..; 2 racional y demostremos _ como consecuencia de esto que 2 no puede ser un nmero entero.
Si V2 es racional, se puede exepresar
'a/b irreducible; es decir,
Ejercicio
3.10
-.,,..
~-
1
1
o
o' 1
o o
VOl,u!Y
""'
-e-
Resuludo
~u
o
r
o o
D,ro
-'---0--"
ep.cin
R!$Uludo
Unid.id<lt-<in
FIG.3S
Con objeto de disear una sumadora intermedia mediante
vlvulas!gicas,consideremoslaecuacinqueladefine(vase
apartado 1.10, ecuaciones {l] y [2].
U=.X
y'+,!
C=X
mas
~~
"'"
~.,.,.,
losdiseosl6g.icosindicaneltipodev.tlvulaqueserequiere.
En el primer caso Ja.s variables indican el estado de la couexin; en el StjUl\do, !a operacin indica el tipo de c.onexi6n
que se necesita.
Se pueden usar dos sumadoras intermedias para obtener
una sumadora completa, de aqu su nombre, o bien se pueden
madora intermedia
puede sumarlos y nos da los" resultados
e y . Supongamos que el tercer dfgito es d. Este d{gito debe
aadirse a u, lo que puede hacerse de nuevo mediante una
sumadora intermedia. El circuito se muestra en la figura 42.
El resultado u, de la segunda sumadora intermedia es el primer dgito de la suma de los tres dgitos dados, y se !Jeva,
d~
;X
.
)'
s. /
'
JU
s.r.
e,
Ejercicio 3.ll
l! Disese un circuito para sumar dos nmeros binarios
de tres dgitos; sese una sUllladon intermedia y dos cceapletas. Dibujando los ci:uitos de las sumadoras completas
mediante intermedias, mustrese cmo una sumadora 'puede construirse mediante slo sumadoras intermedias y. vlvulas "o". Estdiese la relacin entre la capacidad del aparato
(es decir, con qu nmeros puede trabajar) y el nmero de
componentes que se necesitan para construirla.
2.0 Hemos considerado ya unidades que pliC<len ttStar.
Una restadora completa es un aparato que recibe como datos
los r-'silnos dfgi1os del sustraendo y del minuendo, y una
se.iialprooedentedelpasoanterior;yquedacomoresultado
el ,-simodfgitode \adifcrcnciayeldgito que "se pide prestadn" al paso siguiente. Supongamos que el dgito del mi
nuendo es z, el del sustraendo es y, la seal del paso previo
D<llw
Minuendo
(r)
SurlJ'IJe'1do
(y)
Se pide
prestado
U,)
ResullA<W
Diftrrneio
(el)
S pide
,nstodo
(B)
booleana
g) Constryase una restadora completa mediante interruptores, teniendo en cuenta que es necesario un circuito B' (vase
laseccindelassumadorascompletasmedianteinterruptores).
J. Disese un circuito lgico que multipliqu dos nmeros binarios de dos dgitos.
p"'"
CAPITULO
4
Algebra de Soole
OPERACIONES
4.2.
Hemos
n, u,
discutido
dos
BINARIAS
tipos
de
operaciones.
Unas
ce-
DEFINICIN
4.1:
OPERACIN
BINARIA
Una operacin binaria ('} en 11.n COnjunto B es una operacin tal que si a, b, son elementos del conjunto B, tambin
loesab.
Por ejemplo: en la aritmtica ordinaria, tiene sentido
decir que e- es una operacin binaria1 Puede o no serlo. aegn
el conjunto que consideremos. Por ejemplo, si el conjunto es
W, conjunto d los nmeros reales positivos, entonces (a:b)
es u elemento de R+ con tal 'que a y b lo sean. En este caso
(-:-) es una operacin binaria. Si, por otra parte, consideramos
el conjunto z+, conjunto de los enteros positivos, (a-:-b) no
siempre pertenece a Z p. ej., si a=3 y b=2, entonces (a:b)=
=ll que no es un entero positivo. Luego la operacin(-:-) no
es una operacin binaria sobre el conjunto z+, aunque s lo
es sobre el conjunto R".
Anlogamente podemos definir operaciones unitarias, de
un solo e\ementq:
DEFINICIN
4.2:
OPERACIN
UNITARIA
Ejerckio 4.2
l. Dgase cunes dc las siguientes son operaciones unitarias:
a) la operacin "tomar el inverso de" en el conjunto de
los nmeros reales.
b) la operacin "tomar el inverso de" en el conjunto de
los nmeros enteros.
e) cncu6!trese otro con.junio sobre el cua.l "lomar el inverso de." sea una operacin unitaria.
2. En qu circunstancias son +, -, x, +, operaciones
binarias:
a) en el sistema de los nmeros reales o subconjuntos de
este sistema.
.
b) En el sistema de los nmeros complejos.
POSTULADOS Dt: HUNTINCTON
PARA
Al.CHIA DE IOOLE
a, b,
son dementos de
B.
a, b, e,
son elementos de
aEB(b0c)(aEBb)0(a!Bc)
B.
0 e
t,
P,: Complementacin
Para todo elementn.e perteneciente
a B. existe un elemento b de B, tal que
affib=l
y a0b=0
generalmente designaremos el elemento b determinado por a,
como ,.con lo que
afl,s:l
y a0a'=0.
Hemos usado deliberadamente los smbolos EB, 0 a causa
de su analoga con + y, pero, evidentemente, pueden ser
dos operaciones binarias cualesquiera. De aqu en adelante quitaremos el crculo y escribiremos + y . La razn de esto es
que ya hemos establecido un orden de precedencia para+ y
en la aritmtica, que conservaremos aqu y que no tenemos
para estos otros smbolos. Este orden nos permite economizar
el uso de parntesis en muchos casos.
La observacin ms importante que debemos hacer sobre
tos postulados de Huntington es la simetra de las dos operaciones. En las proporciones P, y P, observamos que si intercam- .
biamos + y en una parte de la proposicin, obtenemos )a
otra parte, y viceversa. Anlogamente ocurre en las prposicones P, y P., con tal que, adems de intercambiar las operaciones + y , intercambiemos
0 e l. Esta. simetra nos
pemute formular el principio de dualidad.
0RPINICIN
4.4:
PRINCIPIO
DE DUALIDAD
~
--:~
bl
---
b"
-.--.-,
-=--1--;;-:b
"b
---
b+a
b.+a
b+b
b+b
<a
b
a
b
5) a (a+a)=a a+a a
6)b(a+.a)=ba+ba
7) a, (a+b)=a
a+ab
's) b(a+b)=ba+bb
POSTULADOS"Dl.HUNTINGTOO
a b=a
es
igual a
Tabla XXIV
Tabla XXV
a.
Tabla XXV
Tabla XXIV
b+a
La
a+:b
a+b
b+b
b+b
a~(a+b)
,b=(a+b)
i1=(b+'b)
b=(b+b)
(a+a)
(a+b)
(b+a)
(b+b)
5)
6)
-7)
8)
a+a
b+a
a'.,fa
b+a
requiere
a:(a+a), (a+a)
,ai.,.(b+a) (b+a}
b"'(a,+:a) (a+b)
b=(b+a) (b+b)
De nuevo los casos 7)y S)son consecuencia de l)y 3),respectivamente (de la misma forma que para la primera ley dlstributiva).
Comprobemos de nuevo algunos casos:
primer miembro a+ b a=a+a
=a
segundo miembro (a+b) (a+a)=b a
=a
primer miembro=segundo miembro yl)
Tabla XXV
Tabla XXIV
Tabla XXIV
Tabla XXV
esvlido.
2)
primer
miembro a+b
miembro
--
-
b=a+b
(a+b)=b
Tabla
Tabla
Tabla
Tabla
XXV
XXIV
XXIV
XXV
miembro y 2) es vilido.
b+b ab+a
(b+a)=a
Tabla
Tabla
Tabla
Tabla
XXV
XXIV
XXIV
XXV
-1-
b
b.
3) b+a=b
4) b+b=a
Complementacin
y aa'=0
a+d'b
b+b'=b
y
y
a d'=a
b . b'=a
todo
"a se
y anlogamente
b+a=b
aa=a
ab=a
~~1_.:_t
b.
b b
"b"
b a b
satisfacen
T:''l___:_.f:b
+""
b b b
""
b a b
~~1_.:_t T:'l'_.:_f:
"b
b b
a""
i,. b b
+a a a
b a a
a a a
b "b
) l_.:_t ~~1_.:_1~
T:
+
"b
Q
b b b
b b
b b b
Q
Q
b
b b b
b "b
"b
b
examinar las dos operaciones binarias y determinar exactamente los elementos que se combinan.
En el lgebra de conjuntos las dos operaciones son unin
e interseccin, y !os elementos que se combinan son los conjuntos. Luego el conjunto B de postulados de Huntington es
el conjunto de todos los conjuntos que pueden combinarse.
En este caso el conjunto Bes un conjunto de todos los subconjuntos del conjunto universal que se considera, y las dos
leyes son la de interseccin y la de unin de conjuntos. Estas
operaciones son cerradas, ya que el resultado de una de ellas
sobre dos subconjuntos del conjunto universal, da un nuevo
Subconjunto de este conjunto. Luego las dos son operaciones
binarias. La primera condicin se satisface entonces: tenemos
un conjunto B (todos los subconjuntos del conjunto universal),
y dos operaciones binarias (U, n) definidas sobre l. Ahora
hay que demostrar que se verifican los cuatro postulados.
P,.
Uy conmutativa
P,.
Ley distributiva
Si X,Y son subconjuntos de un conjunto universal l, en-
toncesr
Xn(YUZ)=(Xn
Y)U(XnZ)
Y)U(XnZ)
de la
Xu(Y"~-~
Yt"\?Y,,:
x.
o de
rnz
Si a es
Y)n(XUZ)
Z)
Y y de Z;
Luego a es un elemento de
mento del conjunto YnZ.
Luego
a es
e9' decir, a
es
un ele-
un elemento de X u (Y n Z).
distributiva
Y)n(XUZ)
P1 y P,
Los dos ltimos postulados son muy sencillos de demostrar. El elemento neutro satisface evidentemente XU 0 .. x, y
el conjunto universal satisface evidentemente X n l =X.
Adems, el complementario X' del conjunto X tiene las
propiedades del postulado P,: es decir,
XUX'=l
xnX'=0
CONJUNTOS E INTERRUPTORES
T.+T1
T.=(T.+T,) (T.+T.)
La
___r0---u----L
~.~-l@J
Fio.46
r,
tributiva:'
T. (T.+TJ=T.,
es tambin vfda.
La
demostracin
T.+ T. T,
se deja al lector.
T0
1=T,
~JUNTOS
4.4
t Demustrese que el conjunto de todas las proposiciocon Js operaciones 11, V, y ""' forma un lgebra de Boole.
2! Detennfnese si son booleanos los siguientes sistemas:
a) Se considera el conjunto Sal!, 2, 3,4, S, 6, 10, 12, lS,
20, 30, 601; como operacin() Jade ha.llar el mximo comt1n
divisor de dos nmeros, y como operacin ( +) la de hallar el
mnimo comn mltiplo de dos nmeros. Se define la comnes
los siguient,s
Dr. T.
ejercicios u reproducen
J. FLBTOW.
por
gentilmi
del
aa=a.
todo
mostracin:
(Leye_s de tautologQ)
elemento a del lgebra
de Boole,
a+O:oaa(a+a) l
=(+a)
(a+a')
""a+a a'
=a+0
por P,
por P;
porP,
porP,
por f._
B, a+a=a,
y.
Anilog.ame:nte:
!laaa+0
aa+a,
a(a+rl)
porP1
porP,
porP,
porP,
porP1
ri
ClI
a.
B, a+l=I
Demostracin:
a+lI
(a+J)
-(ll+ri)(a+J)
porP, y
porP,
porP1
porP,
a.
P,
pP,
a+ril
a+ri
0.0.
de un 11.lgebra de Boolc B,
~~~~~~~~a+abal+ab
Demostracin:
a(l+b)
al
porP1
porP,
porteorema 2
pP,
a(a+b)a.
Teorema 4.
Para todo elemento de a de un lgebra de Boole B, el complemento es nico y (Y=a.
Demostracin:
Supongamos que el elemento
y ,.
Entonces:
a+1,
Es
y
a=0,
a+,=l
a,=0
por
P,
=I
porP,
=(a+J
porhiptesis
=a+,
porP,
=0+,
porP,
=,
porP1
... ,,.+0
porP,
,+a, , por hiptesis
=, +,, a porP,
=,(+a)
porP,
... ,,. I
porP,
=,
porP,
a'=a\
decir:
el complementario
de
es nico.
porP,
b'b=0
de a; sustituyendo
(a')'+(a')=I
(d)' =0
a+l
aa""0
a es
nico, (a')'-a.
en el
Corolario:
Demostnlcin:
a+l=I,
0 l-0;
con
y
a+l
dcz0
(P.)
entonces
es decir,
yesnico.
0-1
Adems,
(0')'=(/)'
luego
1'=0
Teorema
.5."
(Leyes de De Morgan)
Demostnlci6n:
Consideremos
(a
(a b) , ( + b')
b) (+b')=a,
b . +a
b, b'
=0b+a0
=0+0
-0
porP1
porP,
porP,
.
por torema 2y P,
porP1
porP,
porP,
porP,
porP,
porP1
porteorema 2
porteorema 1
_,
(a
b)(+b')0.
%=0
Luego
(5.1)
(a b)-( +b')'
y, segn el teorema 4,
(a b"f-[(a' +bTI'=tf +b'
Si remplazamos
anterior, obtenemos
~ P,el"flr~n el teorema4.0,
(b'}')=b
(a')'-a,
'
luego
Slo oos queda por deducir la ley asociativa.
Teorema 6.
(l:qasodatitxr)
Pai:a ~l~~!o;;
a, (b c)=(a b), c.
Demostracin:
. Consideremos
a+a,
(b e)
a+a., (b c)a
:=a,(a+c)
=(a+a b) (a+c)
=a+(a b) e
por
por
por
por
teorema 3
teorema.a
teorema 3
P,
Luego.
+a (b c)=a+(ab)
Consideremos
[6.IJ
ahora .d +a (b, e)
porP1
porP,
.porP,
d+a:(b."c)=(d+a)."(a'+b)
=J (a'.+b e)
=d+bc
=(a'+b)
(d+c)
=[l(d'+l?)](a'+c)
=[(d+a)(a'+b)](a'+c)
=(d+a .. b)(a'+c)
=a'+(ab)c
porP,
porP,
porP,
porP,
porP,
Luego
a'"+a (b _c)~a' +(a .b) '. e
Multiplicando las ecuaciones [6.1) y (6.2]:
[a+a.
c)]=[a+ra
El.miembrq de la izquierdaes :
.=[a(Pc)+a]:[a:Jbc),+a']
=a:.(b,c)+aa'
=a(bc)+0
=a ,(b , e)
i,orP,
porP,
porP,
porP,
Hasta aqu hemos visto tres cosas. Hemos descrito un lgebra de Boole como una estructura abstractaque comprende a
los tres sistemas discutidos en los tres primeros captulos de
este libro. Hemos demostrado que los cuatro postulados que
determinan este sistema son todos necesarios y suficientes; finalmente, hemos mostrado otros sistemas "booleanos distintos
delostresyafamiliares.
POSTULADOS EQUIVALENTES
ee
UN ALGEIRA DE IOOLE
4.6. Aunque los postulados de Huntington son probablemente los ms simples, especialmente para comprobar si un
sistema dado es o no un lgebra de Boole, no. son los nicos
postulados que pueden tomarse. BIRDIOFF y MAcl"..I.NE (Survey
of Modern Algebra, cap. XI, 4) da !a siguiente definicin de
un lgebra de Boole:
Un lgebra de Boole es un conjunto de elementos a, b, e, ..
con las siguientes propiedades:
a) B
a)
b)
e)
)
a,(bc)<=(ab)c
ley distributiva, es decir, a(b+c)=ab+ac,
a+(b c)=(a+b) (a+c)
La
P)
1)
B
a)
b)
e)
d)
e)
para todo
6)
unitaria .cmplementacin.
Vimos que el conjunto vaco 0 y
el conjunto universal l eran elementos del conjunto B. Sin
embargo, en el. apartado 2.6 introdujimos una inclusin de
conjuntos!;;", y probamos que X!;Y, XnY-X, Y.' xuy.,.y
son equivalentes (ejercicio 2.6, 1.0, y respuestas). Este es, entonces, el principio de consistencia de /3) d), con tal que interpretemos la in:lusin !;' de conjuntos como ~. la unin (U)
como "+ ", la interseccin (n) como "", y los conjuntos X, Y
como elementos a, b del lgebra definida en esta seccin. Luego
para demostrar que s; es la operacin binaria ~ que se refiere
debemos demostrar que en el lgebra de conjuntos son vlidas
p, a) b) y e) y-y, a). En efecto:
{n
xs x.
b) Antisimtrica,
es decir, que cualesquiera que sean
X, YeB, tales que X!; Y e Ys;;X, entonces X-Y.
e) Tran~itiva, es decir, que si X, Y,ZeB y si xs;Y e
Ys;Z, entonces, xs;;z.
relaci6n@esentoncesreflexiva.
Consideremos, finalmente, la
tnmsitividad, la tercera de
las. tres propiedades del orden parcial. Debemos demostrar
que, si ab yb@c, entonces a@c. Usando de nuevo la.
definicin de, ab es equivalente.a a ba, y bc es
(a
b)
a b=a,
(bc).,,a (b
multiplicando
e)
6.~)
c=a
(b e)
c=a
(b e)
J. y
c=a.
b
b
c=b
a partir de b
e,
De a b resulta a b=a,
luego a c=a, que, por definicin, es equivalente a a c.
Luego si a@b y bc, entonces ac.
Herns demostrado asf que es una relacin de orden
parcial en el conjunto B. Nos queda slo demostrar la validez
de. ,y,a).
condicional -+ es una
proposicional, y a partir
satisface los postulados
de Boole.
2.0 Deffoase una relacin binaria en el lgebra de interruptores de forma que sea una relacin de orden parcial, y
comprubese con ello que el lgebra de interruptores tambin
satisface los postulados de Birkhoff-Ma~e.
UN TERCER CONIUNTO DE POSTULADOS PARA UN ALGHRA
tll BOOLE
nr:,
IV)
u,b,c, son
=a b por P,
a b+ a b' .,,Q , (b+ b'), segn la ley distributiva P,
=a l por P,
=a por P,
Luego a b=u y queda probado el postulado UI).
Pero
entonces
pero a'b'=b'rf
por l).
Entonces (a+b)=(b'
a')
Definimos
tal que para un elemento particlar k
d!! ~ k.: k' .. 0 y ?efinimos 1=0'.
Lema l.:
a,a
atfc,c,a,a'
a, a=a
atf=k. k'"'0
Demostracin:
-0.
a,a:
=~
a) Propiedad reflexiva:
De Ill) y IV) se obtiene que a b"'a si y slo
a, b'=0 (ya que e c'><=0, lema l.")
Luego a~ b y a ti= 0 son- equivalentes, y si
abc0
si
[\]
entoncesa"b
b=a,
pero si consideramos
gn el lema l.~
Juego a~a-propiedad
obtenemos
tf=0
se
reflexiva.
b) Propiedad antisimtrica:
De
Entonces
es decir, si a~b y
dad antisimtrica.
e)
.c De
b
b'~a,
entonces
a=b propie-
Propiedad iransitiva:
a~by
C=b
b"'c
se deduce que
a:b=a
y que
Entonces a c(a b) e
"'"
"""
b, ya que bc=b
"",
ya que a ba
esdecir,a
Jo que es equivalente a a,:;;;c
luego resulta la propiedad
b,:;;;c, entonces a,:;;;c.
Lema 3.0:
transitiva:
si a,:;;;b
Demostracin:
a" r=0
y, segn el resultado
.a",:;;;a
Si remplazamos a por r y
nemos c ya"",:;;;'
Mediante
la propiedad
a"",:;;;a",:;;;a,
lente a
[2]
es decir, rf'".,;;;a,
ysegnlaleyoonmutativa
es decir,
[11
lo que es equiva-
r'"r-0
Or-(r")'
... 0
,:;;;a"'
r'.,;;; a,
a"=il, o sea,{a'Y-a.
a0=0
Lema4.:
Demostracin:
a,
0-a
=(a a)
tiva(ll)
pero a a=a,
por
luego a, 0=a
,...0
orn
segli el
lema 1.
Lema 5.0:
Para todo par a,b del conjunto B, a:s;;a+b,
ab~a
y a:s;;b,b':s;;<I son equivalentes.
Demostracin:
por b',
=b'
0 segn (1)
a (
b'n' =
y ( b')'=a+b
=0
por
el lema 4."
por definicin
a~b
es equivalente a
a.,
b'
=0
De
aqu, a~
y,
segn el
es equivalente a
b':;;;: <
por definicin
y entonces (a'+b')'=(a
TarriB"in' or
Lema 6.0:
a;;,b
b)"=a,
3.
el lema
b pr el lema 3.0
(a')'""
0,
si y slo si a+b=b
Demostracin:
<
a) si a;;,b, entoncesb';;,/segne!
lemas., !o
!1 que.es.equivalente a a'. ll=b'por definicin y aplcando la ley conmutativa l). TmandO el complementario" de .. ~4a..miembro ,(a' bJ=WY que nos
daa+b=b (segn la definicin de a+b y el!ema 3.-) .
.Qh~~m~nte~
a+b=b.
es j equivalente a
(a' b')'=b, y hallando el complementario obtenemos a' b' b', que es equivalentea
b' ;;;, a', nuevamente equivalente a a;;,b,
c,s;;b t ya;+N;;b,+c
entonces.;
si
a;;;, b,
entonces,
.. .,
por definicin,
(a" e)
(f.:f~C}
.uego
(b c)=a
Entonces, a,:_c:,;;;.b,
e segn
c=a
.e segn" (IU)
la definicin
s.,
de,;;;
Y, pqr. tanto,
y, por tanto,
i1+c,;;;1.,+c
(lema S.)
Luego .a+c;;,b+c
''
equi;~lente
Lema s.:
Demostrain:
adici?.n ..
a+a=(a'
ae
-(a')'por(IIl)(esdecir,ac=a)
=a por el lema 3.0
Podemos ahora probar las leyes distributivas. Cousiderecaso especial y probemos que a(a+b)=
, 1
mosvprimero un
=;a,+a:b."
'
,;t-J~b\egI
la definicin de,;;:;
r;'.i
: :
' ' .. ,.
s.,
el lma
y entonces a (a+b)=a
en el lema 2.'.
'
sgn
y, por tanto,
b+a=a+a
b
. [3]
..
'
b=a(af/)b'
lema 3.0 y definicin de
a+~
,
.
. ,
=(a b') (a .b1' ley conmuttiva
=0 lema t.
Pero a(a'+b)
e ,s:;b'+
y ''a,c\:a,(hc)
apartirde,loc1:1al~obtiene
< .b+,a
.C~rq ,
(~+f~+a,
,(rtc)
segn el lema 7.
es
decir.
segn t:b!ffla.8!'
a b+a
c"",a:
(b+,c)
!SJ
Tambiffl
a,
(b+)
(a,
b+a
cYa
apor
a(b+c):!i;:a,
b+a
ab+ac"a(b+c)
p <f
0 que,
(6]
e
del lema
2., b) a los
a(b+c)=s;;a,b+ac,
la'
(b' +c')l'a+(b'
de adicin
e;
,e
[(a' . br (d . c')1"' por definicin de adicin
=(a',b'),(a'c'Y
por el lema 3.
=(a+b), (a+c) por definicin de adicin.
(a+c).
ar.
CAPITVLO
5
funciones booleanos
y mtodos de simplificacin
INTRODUCCION
BOOLlANAS
ll'
:J-3
-<.
F1<;;,47. Lafuncinv.,h,
grfficanormal
-3
-<
:~f.:~ t
Fic;.48. l.afuncl6nF'h,
ejespara!elos
Ocminio(pl<>0zV)
flpo<io<Milore,
(ie>
Fic;. 49. Una funcia dt do& varlablet
Si fes" una funcin de dos variables., tal como :f(x,y), es
decir, z es una funcin de x e y, se representa normalmente
en un sistema de coordenadas de tres dimensiones pero puede
interputarse como aplicacin del plano ~ (dominio) sobre el
eje z (espacio de valores) donde x,y,z son nmeros reales
(Fig. 49).
.
Otra manera de definir una funcin de dos variables consiste en cons.iderarla como una aplicacin de los pares ordenadas de eleinento.s (.t, y), donde .l: e y son nmeros reales,
enlosnmerosrea)es:(Fig.50).
Tambin es posible que et espacio de valores sea un con
junto de pares ordenados, como en el caso de una variable
compleja, donde el plano ,z (dominio) se aplica en.el plano w
(espacio de valores) mediante u~a funcin compleja f (Fig. 51).
Oominio;p,t ..... ~
do<M)mtr<Krooloo
[1f>OCiodovol<>""!
boo-
Si comparamos la gri.ca de f=i:, :,:, con la tabla de verificaciones de la misma funcin, podemos encontrar una reacin f!IUY estrecha, y sra da una indicacin de cmo podemos
1
f
1 ;
11 .r
.i . .
la
f1mcin boo-
5.1
J.
Hgaseunagrlificadelafuncinde,dosvariables
2!
3!
f-r,+:r.
FORMAS
CANONICAS
O NORMAL!S
f(x,,z.,.x}"'x,+%',x,
En conveniente poder expresar esta funcin en fonna can6
nica o nomal, en la cual supondremos que la funcin viene
expresada como la suma de un nmero de producl:o5, cada uno
de los cuales contiene a cada una de, las variables del con
junto B, con prima o sin prima; p. ej., la funcin
g(x1,z.,.x,)aa:x1
x,.i-'1
+z, z,.x,
f=.x,+z',
Como la multiplicacin
z,
invariable
y ponierido
l=(.r.+:i:',)
f=x,
(:i:.+x'a)+z',;q
D.eaqu
Pero, multiplicando
f"'(x,
fc:;r,
%1
,;rt),I+(z,x't)l
(x.+r't)+x,
y_desarrollando
f .. ,, Xi, x.+x,
+(x',
:t, (x.+x't)+Z,
xt)I
x, {z,+r'J
dondezesunaprimaono,sc\lamao
rrmino.scannicos.
SJ
Se dice que una funcin booleana est en forma cannica
cuando viene expresada como suma de thminos can6nicos.
VolYl.lllos a nuestro ejemplo. Si tenemos tres variables.
cuntos t&-m.inoscannicos diferentes se pueden fonnar?La
primeravariablex,pucdccstarconprimaosinella;luego
la primera variable puede seleccionarse de dos formas. An
logamente,x, se puede seleccionar tambinde dos formas. con
Jo que las dos primeras variables se pueden seleccionar de 'P
Definicin
dilerentesenunlgebracontresvariables.Estossonlossiguientes:
.t, .t1r,,x,;.l:i.
z'1,z, r',,z,,x,.:c',z',.x',..t,..t,.
r',.l:i:x!,..:c',.
z'.z,,z',
r', .;(,
Este mismo argumento se puede extender a un lgebra de
Boole con n elementos.
Teorema 5.1
En un lgebra de Boole con n variables existen 2" trminos
cannicos diferentes.
Demostracin(por inducdn):
_ a) Consideremos el lgebra de Boole con un elemento .t.
Entonces tiene dos trminos cannicos .:c,:x!.
{3) Supongamos cierto el teorema para un lgebra B, con r
elementos z,, z., ... , x., que tendr entonces 2' trminos cannicos diferentes.
Supongamos ahora un lgebra de Boole B,., con r+l elementos :i,, tt ... , x., x,.,. Los trminos cannicos se pueden formar multiplicando los trminos cannicos de B, por
(x,.,+l!,.J,,.f.
Luego todo trmino cannico de B, da lugar a dos trminos
cannicos de B,.,.
Entonces
tiene dos veces el n1mero de trminos cannicos de B,, es decir, el n1mero de trminos cannicos de B,.,
es 2x2"''. Luego si el teorema es cierto para B, lo es tambin para B,.,.
")') Pero el teorema es cierto-para B,: es decir, el lgebra
de Boole con un elemento.
LuegOes cierto para Bt, ...
Resulta as( demostrado el teorema por induccin matemtica.
B.;,
y.z.
X y.z, X Y'Z,
X Y'Z,
X'YZ,
Y'Z, X'Y'Z. Un diagrama de Venn de
(Fig. 53) muestra que los trminos cannicos
representan regiones mlnimas. Cuando una funcin fX_+ Y', Z
5011 X
, .. x+r-z_
y.
Z+X.
Y ,Z+X' Y'Z+X
se
Y'Z
5.2.
bles(Fig.S6).
La funcin
:e
lj.
fz+!/ : es,
r+.i:, 11 z'+:c.
en ,forma cannica,
y, z+:f!,
'11,
z+x
!I z
Si examinamos la forma cannica completa de tres variables, observamos que si a cada uno de los x, y, z se les asigna
un valgr 0 o l, entonces slo uno de los ocho tnninos cannicos toma el valor l, y los restantes toman el valor 0; por
lxy:
2xyz'
3xy'z
4xy'z'
5x'fz
6x'yz'
7x'y'z
8-x'-y'-z'F10.S6.
...:....xyz
xyz'c
xy'z
xy',z'
x'y'z
nrminoscannicoseo
inUrruptOs
F,c. 57.
f-r+/
I 1 1
0 1 0
1 0 0
XXVII
0 0 0 0
1 I 0 0
1 0 0
Ejercicio
Prubese el teorema para dos variables.
Teorema
5.3
(por induccin)
'
' J
J
' r
r
'
0
z+x yz'+x
y' z+x
u' Y z'+ll"' y' z+x'
!!' z'+x'
.z'
Y, z
!I
z' + x' y
+.%'Y
z'
Dmrostraci~:
a) Dos funciones soo evidentemente iguales si sus formas cannicas cemprendeu los mismos ttrininos.
b) Supongamos que dos funciones son iguales. Deben tomar entonces los mismos valores para cada un.a de las 2" pcsibles asignaciones de 0 e!alasvariables. Pero cada asignacin
determina un nico trmino cannico de la forma cannica de
la'tullcin.
ta
2.
forma
3.
iguales.
4.
5.
m
o
='"Y
z:
como sigue:
Ejercicio S;4a
Demustrese que todo par de regiones adyacentes en la fi.
gura 58 se pueden representar por una variable, mientras que
esto no es vlido para dos regiones no ayacentes.
(Indicaciones: las regiones adyacentes se pueden escribir en
la-fortna a . (y+y').)
El aspecto fundamental de la figura 58 lo constituyen sus
cuatro regiones, donde cada una corresponde a un trmino cannico, y regiones adyacentes corresponden a trminos cannicos que s610 s diferencian en una prima; p. ej., z y
es contigua a z y' y pueden unirse. La combinacin geomtrica de las regiones corresponde a la identidad algebraica
T(JU,UN0$
CANONICOS
V 11.lOUCCION
Ol
FUOCIONES
1100UANAS
1~~
'~
=Ll
nima.
a su forma mf.
yaquez
y'+z/Zy'
resulta
y'.z'
y.z'
y.z
y'.z
F10.60
Ejercicio S.4b
y'.z
y.z
y.z'
"'rrffil
l2
r
'
y'.z'
y'.z
y.z
y.z'
:[:HE
f-:rfr+
+.t,'r+:t',':
FIO. 62.
z+:z:
yZ
Anlogamente,
se reduoe a;.-,
f:: y:+=
V:
y'.
:+r'.
y'.%
:ry'
y entonces
z+(:r
f=x
=X
=X
/ z+x,
y' z)
=X
z+!f z
=Z
(,t+y')
xy z+x
z
:r'y z'+xy z'
xy' i'+~ y', z'+:ry' ,z
xyz+::'yz'+xy'z'+:ryz'
xy'z'+::'yz'+.tyz'+Xy'z'
.tYZ+%'-y',z+x'yz+:t:/Z
.t y' z' +X y z' +:e y z' +x' y' z' +.t y' z
3!
Estdiese:
y','y',,,,,
w'.x'
w'.x
w.x'
FIG. 63. Repruenu.cin de
cuatrovarl1blts
Ejercklo S.4d
a) Sombrese la funcin u/%' r'+u/ Z y,:', redzca.sealgebraicamente aw':f'
'!.'; deddz.casequedosreas
sombreadas deben ser adyace.ntes. Reptase para otros pares
de reas en la primera y ltima columna. Debe coasiderarse
la primera columna adyacente a la ltima como si la representacin estuviera sobre un cilindro vertical1
b) Sombrese la funcin ul;e'y'r'+w%'"1fr',
y
reptase a). Debe considerarse la primera fila adyacente a la
ltima como si la representacin estuviera sobre un cilindro
horizontal?
<: x',
z';
x'y'z'+w'x'yZ+w:r.'yz'
Y z'+
f .. w:c
y z'+w'
r, ,.
z+wJ!y
z,
EJEMPLO 1.
Considrese la funcin
f=(0,2,3,4,10,12,14,15}
TABu.xxvm
Equi,,alente
Equi0<1/ente
decimal
binario
ID':r'II'='
ID':r'yz'
ID'.tII'='
ID':r'yz
u, :r'. ~ ....
u, ~ 11'. r.'
g'
0010
0,00
0011
1010
1100
u, ....
14
ThmiM
c.,,w,rjco
~ ....
~"'
de5
tres
y'
z'+w';(yz'=w';(z'en
binarios
w';(
y'
z'+w':r!/z'=w'y'z'-en
binarios
0000)00-0
0010
0000)0-00
0100
se
r,rmino
'""""'
w'%'J'
w'l/I'
w'll'11
ll'11t'
J:1/1'
Equicoknt~
decimal
EituiNI.nt,
''
oo--0
0-00
001----010
-100
1-10
11----0
''
2,10
4,12
10,H
ll,14
1:4,lS
:: :~
ms
M"'"'
""""'
"!'
Para hacer posible posteriores eliminaciones de las verables, debemos combinar agrupaciones adyacentes como antes,
pero debemos poseer una nueva condicin, que los trminos
cannicos deben contener tambin las mismas variables. En
notacin binria, esto quiere decir que el guin, que indica
ausencia de una variable, debe corresepnnderse en ambos tr.
minos, ademil.s de que las agrupaciones sean adyacentes. El
ejemplo anterior no se puede simplificar ms mediante esta
tcnica, y la funcin simplificada es la suma de Jos trminos
primos; es decir,
1u1
r. r+u1. ,. r+w ~.
11+
+ioyz+w:r.z'+w:,:,y
r Y
z'+:r.,
, z'
este problema considerendo slo dos equLa tabla XXX muestra las agrupaciones, y
resultado de esta primera comparacicSn. En
nicamente se ha dejado de usar el tr-
EqUW<IUnte
bilUlrio
ninguno
OOIIO
01001
00111
01011
01110
10110
11001
01111
10111
u'
i~
~~"
m:~
,o
_Gri,po
dos
cuatro
ci~oo
lllll
Existen dos observaciones sobre la tabla xxxn, la primera es que no hay trminos primos, la segunda es que algunas agrupaciones aparecen ms de una vez. Estas deben considerarse slo una vez (debido a la ley de tautologa). La tabla
se puede reducir considerablemente incluyendo slo la primera, tablaXXXlll.
.
La reduccin de esta tabla nos da la tabla XXXIV.
El trmino "9, 11, 25, 27'' no se usa en la reduccin de la
tabla XXXIll. Este debe ser entonces un trmino primo y, ecmo
!a tabla XXXN no puede reducirse de nuevo, los elementos
de sta deben ser tambin trminos primos. El resultado de
la reduccin de-la funcin/lo constituyen los trminos primos
00000, -01-1,
--ll-, es deck,
u'w';(y'z',w':t:Z,:tY
f se reduce a
:z'+w' X :z+~ y
ft/
uf,;(
y''
Los
mtodos de McCluskey y Karnaugh, aunque aparentemente distinta;, se basan en la misma ley de complementacin, .t+.t'-1;
ambos consisten en una agrupacin----
de
Karnaugh es geomtrica y la de McCluskey es numrica- y
haoen uso de la ley de tautologa yfactorizan la solucin final.
Equioawnu
dttiffllll
d,lo,
1/lffllffltM tombinodo,
.. ,
,.14
'"
9,11
9,2S
7,2)
11,U
11,27
14,U
14,30
22,23
22,,0
2S,27
15,31
23,ll
27,ll
)0,31
liquioak..t,
"""""
nil!.JUIIO
ninguno
00111-110
-0110
010-l
-1001
-0111
01-ll
-1011
Huno
"'""
"!'
-~
Olll-
-1110
10111-110
110-1
-un
1-111
11-11
1111-
cinco
FlJNCIONlSi,ca.~yMfTOCX),;DE$!MPllflCACION
EquilXIUnt
Eqr,ivat.ltt
binmio
7,14,IS
,6,7,22,23
6,14,22,30
7,21
6,22,14,30
,,11.2s,v
,.2s,n,21
7,23,15,ll
11,15,27,31
11,27,15,31
14,15,30,31
14,30,U,Jl
22,21,30,11
22,30,23,31
0-11-011--IIO
-011--llO
-10-1
-10-1
. '""""
...
--lll
-1-11
-1-11
-111-1111-111-11-
Nutoo
'"'"'
""
T,...u. xxxm
Equivalent
d,cim,zl
'
,.11,2s.v
7,14,IS
7,22,23
6,14,22,}0
6,23,15,JI
ll,IS,Zl,31
14,15,30,Jl
22,23,30,31
Eqr,it,aknte
dfflllt#I
'
7,14,15
22,2),J0,3!
Hqr,ivat.ltte
bi.wio
0-ll-011--110
-10-1
--111
-1-ll
-1111-11-
Equtt,<Uffit.
"'"'"
.,,,
Nu,c,o
':!"
'"'"'
Ejercicio S.4f
l. Usense los dos mtodos de simplificacin para reducir
algunas de las funciones del captulo l.
2.0 Simplifquense las siguientes funciones mediante el mtodo de McC!uskey. Comprubese la solucin, siempre que sea,
posible, con el mtodo de la representacin gr.ifica.
1) f(0,1,2,7,8,9;15)
11) f-=(2,4,5,6,7,9)
111) fs(0,1,5,7,9,15,27,31)
IV) f(l,2,4,7,8,10,
ll,13,14)
V) f .. (3,S,6,7,9, 10, 11, 12, 13, 14)
El mtodo de McCluskey para simplificar una funcin COD
duce a un conjunto de trminos primos y tomamos la suma
de stos como la forma simplificada de la funcin origina\. Pero
hasta Ql! punto hemos simplificado? 'Se sigue neoesariamente que la suma de los trminos primos es la mejor; es decir, la mlnima forma de la funcin original? Estudiaremos esto
considerando el siguiente ejemplo:
El problema consiste en simplificar la funcin f ... (0,1,2,3,
4, 6, 7, 8, 9, 11, IS). Esto se ha hecho en la tabla XXXV, y
conduce a los cuatro trminos primos designados sor A. B, C,
D, E, F, respectivamente.
Los nicos trminos primos difmntes son los designa.dos
porAF, ysi la funcin f tiene lasvariablesu,o,z,y, se puede
escribir en forma reducida:
far/
o'+o' r'+
if zy'+II
v', %Y
vr
y+ulf'A1
!/
y.
vr
.,
. b.
,.d.
0000
.. 1
0010
0100
l ..
0,1
0,2
.
.
oou
ono
,oo,
'
,'
"
"
Olll
IOll
1111
00-0
o.
0,8
,,
.,,,,
oo-,
-eei
eno-ro
01-0
roeo-u
-en
...
8..9
,.,
3,11
''
01110-1
,.11
7,ts
11,lS
(1)
.~o:...
.....
~-.,,
"'
..
'
1,
1.1,,
1,,
0,2,4,6
0,4,2,6
0,8,
00--0000-0--0
0--0
-00-
l,9,11
1,9,l,ll
2,3,6,
2,6,),7
-0-1
-0-1
0-10-1-
,.,
'
l, 7,11,U
3,11. 7,IJ
-111
1-11
(D)
.. ,.
o,
o,
o,.
--11
--11
(110
!e
F
F
Tf!!l,HNOS
CANONICOS
!!EDUCCION
DE
FUNCIONES
BOOL,U.NAS
\59
@@
..
@
F1G. 65
9 11
15
@@
@@
@
@@
fB+C+F,
es
decir,
!I
EJBMPLO.
La funcidn
a. la siguienktabla
origen
O
A
9,11
15 TI 31
@.@.
e
~
,-co,
(!}'"
: ~
.lacoluinn,O''intervieneunasolavez--en
el trininoprimo
E~ ~r.. l quis,E:debe ser: .un. miembro de, la suma mnima.
li':.cubre;.timbin'la.columna
l; y se enmarcan con cfrculos
los isteri:icos -correspondientes.
La .columna 5 interviene una
sola v~::coil. lo que A debe-pertenecer tambin a la suma mniiiia:JSe,,trazali drculos que indtquenque las columnas O, 1,
3, 5, 7, se cubren por los trminos primos A y E. Las columnas 9 y .31 tienen asimismo un s_o\o .elemeqto, y los trminos
primos By zi-debea pertenecer tambin a la suma mfnima.
tf !ecto/qui'est
;:ft~;f~~si1:.i~:i::4::;j~:,r:.ra.,c:,;.:.':;~:
v~(,lle,s:mfn_imos. .de
las _funciones-correspondientes.
~!"~~=,~~~u;-~ -~ _
1,
espaco
TEJ>.M!NOSCANONICOSYREDVCClot<IDE:fUtlCIONESSOOI.EANAS
11-
16l
de los
o~
"
010.
lCO
111111
D A
C (B+D)
D. C.
fUNCIONU
'"'
9()()L.fANAS
V METODOS
OE
SIMPl.lflU.CION
1,
e.
y desattollando
,_; :..A.:B."C,D+ACD
Luego.la furici6~ se obtine con los b!rminos primos A, B. C, D,
o ece los trminos primos A, C, D. Los ltimos tienen menos
trminos, y dan entonces origen a la suma mlnima.
Luego, f=(A,C,D), Que eael resultado que obtuvimos a
p.artirde"iatabla.
,
Consideremos otto ejemplo: (El ejercicio 5.4f, "cuestin
2., V) da origen a doce trminos primos; llmense stos
A.B, C, D, 11, F, G, H, /, K, L., M (vanse respuestas a este
ejercicio), ta tabla de tminos primos se muestra ms abajo:
1
A
'
D
E
F.
kL
.10
11
12
l)
14
(E+F) (A+C+EJ
(B+G+n (l+M),
(C+D)
(G+H)
(D+H+L)
(J+K)
,(F+K+M)
se desarrolla a
(ACE+ADE+A
CF+ADF+BCE.+"
+B. Cf+BD E) (D GfM+D G,, K ..Af+
+G, H K M+G I M, L+ F G I L+G, K ,"L+
.+H L.M+B, H ,,K M+ H I F, L+H /. K . L+
.+BI KL)
.
que
Los-elementos de este producto con,un nmero mnimo de letras tienen.seis letras, como AD .. EGfM, AD,.i,
G K M, etc. Estas son entonoes sumas mnimas posibles.
Esndiese este mtodo. La ventaja consiste en que se obtienen todas las sumas mnimas, y la desventaja en que se
hace uso del tlgebra "pesada" {vase la referencia 2, apar
tado5.6).
libllopfll
l. KilNAUGH: Thtm11p""1/hodfo,$VlltMsisr.,fcombinationallogic
ci...:Wh: TNm.s. A.I.B.B., TIJl. 72, nov. 1953, pp. 593-9.
2. {:AU)w2t.L: Swirching cin:uirsa111/k>gicaldtlin. Wlley, 1958.
3. McCl.usnY J.: Algdmli.: minimi:ratif.>n, 4lld tM dnin, of taoo
ttrminal conl<Jct networkJ, MJ.T. thesii, 1956,
l. CwiWllL(Vhsiean~).
2. Kl1sna. RltCHII MID W.UHaUaN: TM duip oltvlitchill rircui.,.,Van' Nostnlld, 1951,
FUoo: B~
als~brrt 1111d ih applicatioru. Black.le, l~-
3.
~1!f:i~dw~;1
~r;d:~
~~;1~:ed~~!~:;/:~!~:1~
el
C.ada
los inte'rru'ptoresconttola
muestra
diagrama.
uno de
cuatro triples, que son elctricamente
~1t~tr11f;;~; ,i;;rn;:,;~~;;~~;,;,~r~.
-<i:.:r!
. -;, M.!"!'
J
!'!
independientes,
de tal
la parte -Sllperior
en
cada uno de
::-1::~
~k''~~~ri~~:f~ri~t!~~~~~~!t-~1~11
el
'':"~~;'~
'-.
S.tori
~';""
~'::''.
-~
....
o o
'...:,
.;
e..1 .. 1,
o o
1 - - - -
S!npritNX
F10. 68.
La funcin
:f
:r
L-~v+:(:r't/+:t'r)
.
1
casquillo superior_ de :z a un _centro difrente y, y del casquillo inferior de y a la lmpara. Esta ltima parte del ircuito
se puede ~implificai como muestra la "figura 69.
AL~.~
e~/:::;
o
o-
"
"
oo'o
00
Algebra de Interruptores
Interruptor que conduce
Interruptor que 110 c.ooducc
Interruptores enserie
Interruptores en paralelo
Complementario
2.
A1gebra di con/untos
zy; .ty;%ny
z+y; iuy':evy
Z;i
-~'-
Conjunto universal
Conjunto vaco
Interseccin
Unin
Complementario
Complementario relativo de Y respecto
de X
Diferencia simtrica
Inclusin
1; U; l; T
0;0.
XnY;XY;x..;y
XUY;X+Y;Xvr
X'; X; X
XY;X/Y
X6.Y;X+Y;X$Y
xc r.xe nx c r.
l. ~c~o proposlcionaJ
Proposici6tl
cierta
Proposi~n
falsa
Conjuncin
Disjuncin
Condicional
Bicondicional
Negacin
-~i
PYP:,
Exc1us1va'!6.,-'
::.:,.":o r
4,.
IPll;"elvalordepesT'';pl,ptiene
el valor de verificacin l"; pT
[P!O;"elvalordepesF';pO,"ptiene
el valor de verificacin O"; pF
pAq; p&q; pq; pnq; p q; Kpq
pVq;p+q;pUq;Apq
p~q; p~q; p:::>q; Cpq
p ..... q;pq;Epq
.p; P;p'; ;; Np
p~q; __pe1:
p1r p:~ii:. Rpq_
~g~briii.~ 1ook 1:
~ ~; -: ~;ci~n~ bi~nas
Operaciones unitarias
Unidad
Cero
s.~~
Operaciones t y
Relacin de~~
Vb,
a+b; a.Ub;0a0
a . b;anb; aAb
~\:~ ,
0;0
: : J
pfq;pftq;pUq; pVq;
Spq
Segundo, p.iq;pq; pq; pAq;
Dpq
plrcial "; p; e;
primero,
Indicaciones,
respestas, soluciones
~~~~~~~~~~-
Ejercicio Jj.
(:r0r)C.o:0r)0,
1.(1):r
,, ,,'
'
(11).z
,,
'
'
Luego
. _(z0r,)0_zz~(r,0z)
H
. :~,
:r ~:,;.; :
~([)~=,~;~
1,
(1 ~.~~"i;~~~+Los
recuadI'OS]~pun1eados
indican Ja. parte del crcuto
va primero. Evidentemente, pueden omitirse.
que
~~~~~~~~~~~
Ejercido 1.4
1.(1)"
(11)"
Luego
<~ey)e:-~e(ye:).
~~~~~~~~~~,.,
,.,
,., ...,.,
E
"""'"'
l.S
:i:"m"
"'
impar
impar: .\m?'r
im=
"~por"
"'""'
l'
que va
Comprense stos con los circuitoS en serie y paralele (tabla 1.4). Si "par'' se interpreta como le ''impar" como 0, entonceslaoperacin"por"correspondealaoperacindeinterruptores "ms"; el sistema presenta una estructura idntica con
esta operacin. Dos sistemas que cumplen esta condicin se
llaman isomorfos. Con la misma interpretacin de par e impar,
la operacin "ms" no correspcnde a la operacin en serie.
Luego no existe isomorfismo entre pares e impares con la
operacin "mS""Y los interruptores .:e e y con la operacin
"en serlev t v ).
2. Desgnese la clase de nmeros enteros de resto 1 por l,
y los de resto O por O. Sean :e, y dos -variables que pueden
tomar uno cualquiera de estos valores. Sean +. las operaciones aritmtica de suma y multiplicacin.
(::r+r)
esto remplazando
par.por]
impar por O
"ms" por+
"por" por.
y recprocamente.
Ejercido U
l. l-GP~'{i3J--{(}
,i~.-~'-[J-Ey
,!~~:~~~
dJ~"'""-c:=:J-[J-
~~-i;-ic:
:,:::i.
.,_j~y:}---J:-"
,~
~:: .. :
"
'
El lector puede observar que si la corriente pasa por la
primera transmisin P, debe pasar tambin por1 las transmisiones en paralelo, cualquiera que sea el vaJordeR
y
Luego
esto se reduce a
...
-0-
-~,.
-CJ:-
s.
2.
a) (y+:).i:
.i:y+:
e)
.b)
-.
d)Dibuje:mosdenuevo,~~
func~n.~cqnvienten
(u+v+w
4.
(:e
'
'
Cntonoesla
P+11
Q),
w)
Qo::..i: ~ y+w
R+s
t.
sustituyendo, la fundnse convierte en
!:r(%1(+:
w)+Y(zy+w)J
(st).
EjerdcJ:o I? ,.-
l.
ti}:_
I
o t
1)--"0..
.
3. a) similar a la pregunta 2.
ier!_wr
(b)
II
:t
o
o
Las
d)
es
Ejercclo
l.
1.8
(""%' y+:it' y
g=x y+%'
2, f=~yz+:ty'z+.z'.y.z+%'
y'z (puede haberse
obtenido/=zapartirdela
tabla)
g=:t y z+r y, t'+-:t' ,y, z+%' .y' ,z
h=:t y z+ory' z+%' '/ z
a.
-[,/-.,.];-,
Jx'.y+x'.y'
,)
{:=;-.-:}
:,("f:
!<i:
J x.y.z + x.y' .z + x' .y.z +x' .y' .z
e)
,-,]-[,-,
gx.y+x'.y
b)
~=~
1:
>C't
gx.y."z+x.y.t +x'.y.z+x' .y'.z
di_
-f
-,-,3, _, ._,
X':,~
hx.y.z+x.y'
.z+x' .y.z
4.
la se dibujar -r-c:-=ipuede
de transmisin
luego
:r'y+%'11x'(y+lf)
'
o
l
l
-:~~-12
. L
La
esdecir,
transmisin
de
o
o
1
z es e . y' +z' y
--c,-,J"
xy
'
''
'e
o
o
o
L"""'-11:+:r11i'+,,1/r"'r'.111
Luego el ,cir~uito
(sin simplificar)
es
{,-,-}
x>'.'
xy,
x')':
'
. P"sid1t1U
Lsop.z
Y z+p
y,
.t
:'+p.r
,.
x~~:;}
i+p
%' IJZ
-{
,, .
x1:z
simplificado)es
Jl';Yz
,.
1
1
1
1
.,o
Vmfc
c.,
o
o
o
o
o
o
1
Obsrvese que L. y
dando el circuito
Lo
!/ :',
:/z'
Como L,...,(L0Y
L,.(t / z')'x+y+z
verificaciones).
Circuito
L,;=xy
L=xy
-E '.,3,
z+xy'C+
z'+x
y el circuito es
/ z+:y,
z+.x'
!/
-{:=;=:}
z'
J()'t:
:r1z'
los
lt'lOICACIQNES,11.ESPUESTAS,SOlUCIDNES
J.9a
. () :~ ::: : ~:=1-}
Preguntas 1, 2 y]; vase. texto .
'''' "'"
Tabla de verificaciOM&
Las
son idnticas.
(a)
La corriente
-C'::Jx'
es decir, r+.t'-1.
Solucin anloga para Sb.
t. miembro ~x--i__
6
L..,____:_.,J
Cl
2.
mi=bro
11
es evidentemente
mlundante
----
ir+:r,
ficacin.
fflgunuu8,
Ejercicio l.9b
l.
ley distributiva.
=x+s
b)
(x+y),(%'+y)""XX+xy+y.a:'+yy
=O+x y+%'
y+y+y(y yy)
'"'O+y
(ley de absorcin)
Y
e) xy+%'
Se
Jl+x y'
(XTx')=X y+y'
=(x+y'}(y+y'}---segunda
tributiva
x+y'
ley dis-
y'+.a:,
=v-
g)
Desarrol!ando obtenenios
z (Z i,+:t if)= z (.a:+y)
(:t'+y').
2.
Los ntlmeros
1) simpliliqucse a f7!,gy
2) f:r,g:,:,y,z+;ryz'+t!y,:r+:t',y,z
diantelaleydetautDlogfa:
s(X
y me
Y z+zy
z')+(x 11 z-+7!
+(:t'y:r+7:'f/'
:r)
11+11 z+:r' :r
h-:r (x+y)
11 z)+
z L-:r y+:
(z+y)
1,
Vuelta t
te
t,
tw
tg
Orillo A
t
'
"
t w ge
w'gc+t.
gc'+t'
w'. ( c+tw'
w'gc+t'w'(c
( e'+
que se reduce a:
f=t ( t!+t w'(+t'&
c+t'
:et, (, (c'+w')+t' g (c+w)+w'
w, g+w'
e
.
-c;.~
f
-C
., __ ,.
'l
'l
:
:
l
l
o
o
o
'O
o
o
o
-e
Puede plantearse la pregunta de si este circuito esnco,
ya que otra solucin es
Ido.
Vuelta
tw
t,
te
t&
~hnu:
la 1oluci6n,
Math,matic:cl
gl111.227.
KMITCHIK: Mathmiatiarl
nu 214221.)
0oMOITAD:
Gttm,i,
and
RICMIIOM.
PllftrlUII,
Allea
&
P,,.,amon,
1964,
114
A
B
AB
La tabla XXXIX es una tabla de verificaciones para comparar los grupos de Prez y Gonlez. Los interruptores w, x,
corresponden a Peez, y lqs y, z, a GonlCL
Podemos encontrar las cuatro funciones de tn.nsmisin di
rectamente de la tabla, pero X es el complementario de W, y Z
el complementario de Y. Adems, X e Y tienen slo siete ''I",
mientras que W e Y tienen nueve. Resulta entonces mejor
obtener stes y utilizar las leyes de Morgan para obtener
las complementarias
Xw x' y, :+w r', lj :+w' :ie y :+uf
+t r'. y, :+w' ~y.
z'+t ~ 11 :
:r y
z'+
(w'y'f=
LoscircuitosdeXyWson,entonces,
-c:=1--c::J- -c:=:=1w
a~~
g
o
i.
AS
AS
el fac-
Gon.ln
"'"
1
o
o
o
o
o
o
;
1
1
1
g
o
o
o
o
o
o
G~~
!.
t
t
~
AS
t o:
o
o
1
1
g
l
w
1
1
1
1
1
io ii
1
o
o
o
o
o
o
1
o
o
1
o
11
:o o: o o
o o
o
o
o o
:
1
1
1
11
1
1
o
1
1o
o
o
o
el mayor es el par y, z. Los circuitos de L y M no son coni:plementarios, ya que el caso en que los nmeros son iguales requiere un estudio especial. Supongamos que las dos lmparas
es~n encendidas cuando los dos nmeros son iguales. Enton
ces, Low:tyz+w:ry,z'+ ... + ... diez Unnlnos.
L tiene slo seis trminos,
L'w x' 'IJ z+w':t y.:+ ul e . y, z'+w' %y.
+w'x'yz'+w'~i/%
ysereduceaL'-.ul
y+ul x' z+:'yz
El complementrio
z+
M
1
o
o
o
o
1
1
1
1
o
o
o
O
Luego
Morgan:
L(w' y)', (w' x' z)' (:r' y, t)'
""(w+I) (wu+z') (:r+y'+z')
la
mediante
ley de
(:r+f'+z')
%'+:r
%'+
De
Ejercicio.2.la
l. No est bien definida;
puede ser subjetiva.
la
habilidad de un futbolista
V&.senm.2.
4.
Bien definido.
S.
Nmero6,v~texto.
Ejercicio 2.lb
de
Z.
Toda combinacin de 2, 4, 6, 8, 10, pero no combina
ciones, tales como 12. 2, 41, donde aparece un n.mero repetido.
3. S,
Ejercicio 2.2
J.
2.
SI.
]. (AUB)UC~AU(BUC):
ilstrese mediante diagramas de Venn (apartado 2.4); dlbjense los dos miembros por separado. Hgase una demostracin
segn el mtodo del apartado 2.5.
4. Anilogo a la pregunta 3 (A n B) neA n (Bn C)
S. Sea S el conjunto de puntos de la recta 2:t+ly-7;
es
decir, S es el conjunto de puntos de la forma (O, "f-/J, (1, l"/J,
etctera, o sea, S-1(:1:,y)l2%+3y-7
l. Anilogam"ente, T=
lfa,y)l 6%- 7y=SI.
Mediante coordenadas cartesianas, S se representa como
una lnea recta, y de la misma formar. Resolver las ecuaciones
es equivalente a hallare! punto A; es decir, hallar la interseccin de los dos conjuntos.
Luego la solucin del.par de ecuaciones es
A=SOT
y en este caso A es el 6onjunto fonnado por el nico elemento (2,1); es decir, A-1(2,lf.'
.6.
7.
vrue
apartado 2.8.
EJtrckio 23
l. Cortjunto universal: el conjunt.o de los alumnos de todas las escuelas. B' es el conjunto de los que no,estlin en una
escuela nacional.
"
Conjunto universal: el conjunto de IS alumnos de una es
cuela nacional B' es el conjunto vaco 0.
2.
Et
a)
conjunto. de los irracionales.
b) El conjunto de los nmeros a+bi
irracional, o a,b reales y b .. o.
e) R'=0.
donde b0 y a
INDlCACIONES,RESP\IESTAS,SOlt.lCIONES
(lrfH.
10.
Ejercido 2.4
b)
a)
%-
YUZ'
1xn(YUZ')J'
!llJ-Xl(YUZ')
Como en el nllmero l y texto.
a) ABAnB'.
b) Seglln la ley de
(A-B')-(A
De Morgan:
n B')'.. (A')U(B')'-A'U
IJ
B.
AB
I. .. miembro
~-C>
Algebraicamente:
(AB)C
0-m-~-C>
(A-B)-C-{A-B)nC
por a)
-(AnB')nC'por
a)
Tambin, (AC)=AnC'
y BCBnC
Litego (A-C)-(B-C)=(AnC')-(BnC')
=(AnC')n(BnC)
segn
De
~-C>
es decir: (A-m-C-(A-C)-(B-C)
por a)
Morgan(BnC)'-B'uC
Luego (A-C)-(B-C)=(A
n C) n(B' UC)
=[(A nC')n B'J u[(AnC)nCJ
-ley distributiva.
=[(A nB')nC'J u[An{CnC)J
- leyes conmutlltiva y asociativa.
-(AnB')ncu0
- asociativa y propiedad del 0.
=(AnB')nC
luego el miembro de la izquierda es igual al de la derecha.
Luego
AAB ... (AnB')U(A'nB)
b) (AAB)'[(AnB')U(A'nB)]'
... (A nB')'n(A'nB)'
=(A'nB)n(AnB')
o desarrollando (A n B) u (A' n B')
-porDe Morgan
-
"
"
"
Ejerddo 2.6
l.
rio,
Equiualencia de xs: Y
y Y'!;;;X'.
Supo1;1gamos que X s; Y y sea y' e Y' un elemento arbitracon lo que y' f: Y, y como X!;;; Y, entonces / e: X.
Equiiialencia ck x c Y y xn.Y-X-.
Supongamos X!;;; Y y sea :e e X.
ptesis.
Luego ~ e X n Y, y como
conjunto X, se verifica
.t
la
primera
x1:;;;r.
parte
de
p es
y pe Y;
un elemento arbitrario de X n Y,
xnrs;x
xn Y=X.
que e e Xn Y,
completa, vase
ami diversions,Bell,
1961.
2.7
l. Sean E, F el conjunto de todos los elefantes y el conjunto. de todos !os animales de cuatro patas, respectivamente.
Entonces, E!;.;F es equivalente a
F'!;;;E'Los animales de dos o tres patas no son elefantes
(licencia del autor).
EUF=F-Todos
los elefantes 6 animales de cuatro patas,
sonanimalesdecuatropatas.
EnF=ETodos
los animales que son elefantes y tienencuatropatas,sonelefantes.
E'UF=I
Los animales tienen cuatro patas o no son ele
fantes.
En F' = 0 - No existe ningn elefante de dos o tres patas
(licencia del autor).
2. E, F, T, son los conjuntos de los elefantes, los animales
de cuatro patas, y los animales con rabo, respectivamente.
Entone-es
E~(FnT)
a)
Sr;;.L.L't;.S'
b) S'n/-0,
e) CnL-IZI,
es decir,
es decir,
S't;/' 6
C'!;L' 6
Jr;.S
Lr;;.C'
Obtenemos Jacadena/!;"St;,.L!;"C'
csr,
es
decir, /'.C' 6
esdecir,ingun.odesushij?ssirveparaunjurado.
7. Anloga a la pregunta 6; la solucin es "Todas las
sonascurtidasporelso!sonastronautas".
per-
8.
6 L'SiW;
un alto coeficiente
de inteli-
-12
.-.lbo~;t.,
Cupln10<os
a) Mediante la frmula se
obtienen tres capaces de
lastres cosas.
!>)Squesloseanalbailes.
c)2.
Fe>e111'trm
4.
Anloga a la pregunta 3.
5.
Escrbase YUZ=A
y sese el desarrollo de
n(WUXUA)
obtenido anteriormente,
remplazando despus A
por
Y U Z.
Ejercicio 3.1
b)ez)nosonproposiciones.d),e),f)puedenserlo,locual
depende del contexto.
Ejerddo 3.2
l.
son altos.
g)
Si los sueldos
son
bajos, ice
altos.
altos.
J.
b)
d)
4.
Ejercicio 3.5
----Ch)
p
o
l
o
p/\q
p/\q
{pl\q}+(p/\q)
--<o-
(pAq)(p/\q)
j(P-+q)fl(q-+r)]
rp+q
+(v>r)
(q-+r)(p-,,q)A{q-+r)l{J>-r)
(a)
p
l
l
l
l
lo
~~
o l
o o
o o
p+q
(PAq)
(p/\q)+p
(b)
q+p
rflr
Como tienen los mismos valores de verificacin., son equivalentes. Anlogamente para los restantes casos.
l
l.
l
l
Luego es una tautologa que resulta de que p+ q y
tienen la misma tabla de verificacin.
(p f.q)
... p
Ejerckio 3.7
(J>Aq)V(..pll..q)
d'J La
,,,
Luego
la funcin
convlerre en
p'+q+r.
es
(p
rf rj,
b) ....,(pAq) 6 ....,pV,..,,q-demustrese
,,,
pfq
CPtq)tr
(ptq)tresequivalentea
pq:,r'+pq'r'+p',q
r'=(p+q).r'.
ptq
(b)
qtp
que
INOIC'.ACIONES,11.ESPUESTAS,SOl-UCIONES'
3.
()
(b)
P.h
Ph
(plp).l,.(pJp)
Luego (pJ,p)HpJ,p)-p.
Luego (pJ,p)J,(qJ,q)=pVq.
Surge aqu una cuestin muy interesante. Podemos expresar V en trminos de J,; de la columna a) de la pregunta 3b)
obtenemos que p J, q es equivalente a .....p. Luego la negacin y
la conjuncin se pueden expresaren trminos de J,. Sin.embargo,sabemosquetodafuncin
proporcional se puede expresar en trminos de la disjuncin, la conjuncin y la negacin.
Ademis, mediante las leyes de De Morgan; .la conjuncin se
puede expresar en trminos de la disjuncin y la negacin, ya
que
.-(pAq)=-pV-,q
y entonces
.....,[-(pAq)],,,(pllq)=:--{-pV-qj
Blbliografla
Logit:, publicada por Elliott Automation.
FU.NAGA.'I Y MOL't'NEUX: "A low speed single supp]y NOR !ogic system", Eltronic Enginetring, July 1%4.
KELL.eT:
"1.'l'e Elliot Sheffer strolte static switching system"; Elactro
n,c Eng,nte1ing, September 1960.
Ejercicio 3.10
Todas las soluciones son anlogas en la prctica.
El emerc A.z,, x. .i. ... z,,+l no es divisible por ninguno de dios, ya que siempre obtenemos el resto l. Llegamos
asa una contradiccin.
Losn6.merosprimosson entonces infinitos.
Ejercicio 3.11
l.
vase texto.
l.ll).
Bz y
por V,
,~''
)'
IV) La restadora intermedia, por analoga con la sumadora intermedia, debe tener la tabla
MinllffldO Su1tto1ndo Difurncia S pid, p..stQdO
d
'
f;::.
.,.u
,~
Ejmkio 4.2
l.
a)
Es una
2-t
b) No,ya que
que no es un nmero entero.
e) El conjunto de los racionales distintos de cero;
conjunto de los complejos distintos de cero.
el
2.
!:r
x es
por
Z,
z. R,
R.
Z,. el
de
C.
enteros negativos
los reale:s
c."
no en los
-3x -4+12).
a)
b)
tabla
e) La segunda
Existe un elemento
unidad.
cero,
falsa arbitraria y una proposicin cierta arbitraria, respectivamente. El complementario de una proposicin es su negacin.
Las preguntas 2-6 son todas semejantes, y en ellas se trata
.de comprobar las ocho partes de los postulados de Huntington.
Seinvitaallectoraestudiarestossistemas.S6lodaremosaqu
dos soluciones.
2. a) Como todos los elementoo son divisores de 60, las
operaciones.+ y, son cermdas.'
P,:
Ley
conmutativa; se
verifica evidentemente.'
P,: Ley distributiua; consideremos el siguiente caso particular, donde indicamos las operaciones mximo comn y mnimo
comn mltiplo por ffi y 0, respectivamente. La multiplicacin ordinaria se indica por"". Si se verifica la ley distributiva, entonces 12@(20'0.30)=(12@20)0(12@30).
Expresemos ambos miembros en factores primos;
2'3@[(2'5)0(23
es decir 2'3Gl213S
'
2'35
5)]y
y
(2'3Gl2'
(2'3
5)0(2'3+235)
5)0(2'35)
2'35
60
Luego el miembro de \a izquierda es igual al de la derecha.
Pnganse ms ejemplos y comprubese que esta ley distributiva se verifica en ellos. Trtesedegenerali7.arlademostra
cin.
Demustrese anlogamente que la otra ley distributiva tambin se verifica.
P,:
0 corresponde a 1 e 1 a 60.
Ambas no se verifican; p. ej., el complementario-de
60/6; es decir, 10.
.
/
P,;
ya
pero 6+10=30.
y 6 10=2.
Luego no es un lgebra de Boole.
a'=l,
6 es
conmutativas para+
-lql).
III) Propiedad
p+r.
transitiva:
Si p.....q
y oe r. entonces
3.5,q), se
pi'tratodosp,q,r,ylapropiedadtransitivaesenton~svlida.
E>pKiodoY1lor1
Estdienselasgriicasmediante
funciones equivalentes conocidas.
Considrense las grficas como un mediodeencontrarfun
cionesequivalentes.
Ejerckio
5.3
l. z ~y
z' +;,; f
z+
:i;'
y z+a: f z.
(z+_z)
z=(.t+y+z
z')(x+z+y y')
E~rck:io S.4c
J. ))
j'.z'
nI)
V)
:EfEE
se reduce a
:1:H-H
se reduce a/:'+:/,
es decir,/(:+%')
y'.z'
y'.z
y'.z
y'.z' y'.:
.><l"LE]
y.z
y.:
JI.Z
y.z'
y.z'
y.z'
se reduce a un bloque de
cuatro, dando z'
x~]
Vil)
:m
y'.z'
y'.z
:e:
y.z
y.z'
las regiones O, 2,_ 4, 6, se
reducen a z' (v&se V);
lasregiones4,S,screducena:ry'
I)
p. ej., r, '11
reducea:.c'.
II) Se reduce a:
IU)
3.
t'+:t!1f
:+z'
y.,i:+x'11
z' se
1) Ge~eralmente,
INOIU.C!ONES,
RESl'UUTAS,
SOI.UClot,llS
cuatroyaunpar.
un bloque. de
4. Laidentidad.
Ejercido 5.41
es
2. , .. co,1,2,1,a,9,ts)
decir,
f=lf, r1.
y'+lf. d.
lf+lf.
+lfOX
!f+II rf, :f', y'+II
+U OXIJ,
x.
0001
1000
"
..
-N
00-0A
,.,
1,9
r1. x . Y+
rfx'!f+
0,1,8,9
0,8,1,9
-00-C.
-00-D
-001
100-
nlnuno
7,IS
rly'+uxi,+rl
:t'
Mediante el mtedo de la representacin grific.a, se cbserva que hay tres agrupaciones ptimas, que se reducen a la
funcin anterior.
INOICACIONES,RfSPUESTAS,SOLUCIONES
Il)
{=(2,4,
5, 6, 7,9)
'flTl I
;;-
l!)
11'
w
w
es decir,
f=u'v'
+if
e
V
r;
-~
y'+u'vx'/+u',vx'y+
y+u t{. X y':
UVJ:'/1
0010
0100
0101
0110
1010
0111
"'
A2,6
B2,9
,.,
O - 1 O
4,6
- o lo
o lo o l - o
''
''
O l - 1
O 11 (10
C4,5,6,7
D4,6,5,7
O l - O 1 - -
(111)
xy'+iv.
Lasagrupacionessonevidentementededosycuatro,obtenindose/=u' v+v' x . ,. Pueden relacionarselas dos respuestas? Las dos son correctas.
00101
01001
,
""
01111
11011
11111
,,
)1
f._.tf.
e,'
+u'zy
",.'',
7,U
IS,31
27,)l
oo - o
o - o o
oo l -
l
l
.
.
e
o
O - 11 l
- 1 l Il F
l 1 - 1 l G
(Il)
1fy'+lf
lft/z+u'1f
z+v.ty,z+uvyz
Vz+u'o'::c
IV)
,.d.
.d.
O OO 1
o o Io
0100
I O OO
JO
11
l!
1010
0111
1011
1101
1110
(l)
2,10
- O l O
a.10
1 o - o
10,11
10,14
l O l 1 - 1 0
(ll)
Porelml!tododelarepresentacingrifica:
la funcinorigi
nal es
frsu' rlfry+u' tfXlf+
o :t' y'+u v':x'
y'+
+u v' e . lf+rlv
:r y+u D' l' y+u v z' y+
+U Vl'if'
La agrupacin en pares que se muestra en la figura da lugar
a la misma simplificacin.
..b.
;.;,,.
lll>l'I,'
''
"'
'
u" : n~
OOll
0101
0110
1001
1010
1100
12
0111
1110
A
B
''
3,11
''
D S,13
R
F 6,14
o 9,11
H !>,U
JI0,11
K 10,14
Lll,IJ
''
M 11,14
O - l I
- o l
0 1 - lo
l
t
O I l - l I O
I O - 1
1-01
I O 1 1-10
1 1 O - .,,~
1 1 -~o.,
f,1 l'
+o
!f+V'
l'
y'+u
+u otr+u
y+' V
!f+ V' :t' !f+I' V' !X+
ti y+u z' y+u ti :r+u x r/+
e . r/
vzy'+
zy+11
v %Y+
v r Y+
~
La
mi
.
fu'xy+v
.+v i!y
..
.
iy'+uv'x+v'y+utii!+
Refiresealejen:icioHf,ysoluciones.
l)
11)
Vase
2
A
B
texto.
El mtodo de McCluskey
A, B, C.
Sl
reduce
la funcin a
. A
E
F
G
+
+ +
@
15
27
e
+
A, C, G, deben estar en la suma mfnima, pues. proporcionan la nica entrada a las columnas O, 9, ?l.
El siguiente trmino primo que conviene es E.
Slo queda la columna 5, que puede ser cubierta
por B 6 D.
Luego la suma mnima debe ser
f-(A, C, G, E, B)6 f(A,C,G,E,D)
es decir,
ftl
y z+
f=tl
11
y z+
11' X /+u'
;t. tj, z+u
+u'~yz+rltj,z
X /+ti
:t y', z+u
+u':1:y z+u' rlx"'z"
5;e
simplifica a varias combinaciones de seis trminos primos cada una tan buena como las otras.
Vase la pregunta 3 de estos ejercicios.
Indice
de materias
llloondicional(
....),65.
ll!narla.()pend6n,!i5.
-Representacin, 151.
-Sumadora,u.
BirkhoffyM.acLane,116.
ctlculo proPD'ldoul oomounil1tbn dt Boole, 109, 1JJ7.
CanDko. T&mino, 1}1.
--en tl~ebndeoonjnntos,
139.
---deinttrruptoffl,140.
Orcuito. Tabll de verificacloou.
14.'
Complell!entario.Algebn deBoo~. !n.
--deconjuntos.41,%.
Demostracin.
Naturaleza
79ysiga.
--enellgebradeconjuntos,
"
de la,
Karnaugh,144.
-Representacin grfica de,
144
.Ysip.
Dlolo,33.
Disei\o lgico, 86.
Leyes,110ysigs.
Disjuncin(V),6S.
-ConjlllltoS, 57.
Distributiva. Ley. Algebn d McCluskey,151.
Boole,96,
,
Minimizacin. Mtodo nwu6rico,
---deconjuntos,45.
150yslgs.
---interruptores, 18.
--de\arepresentacingrafica,
--Clculoproposiciona!,78.
143yslgs.
Morgan. Ley de Algebra de BooDominio. 111.
Dualidad. Principio de. Algebra
le, 113.
deBoole,97.
---deconjuotos,47.
---deinterruptores,22.
Negacin, 66.
-Leyde.78.
Normal.Forma, 136.
Notacin. Apndice 2, 169.
Elemento de un oonjunto, 37.
Numero de elementos de un con-Nmero de, en un conjunto,
iunto, 41, 57.
41,57.
-e-unitaric de un algebra de Boole, 97.
Operacin unitaria. 95. , ,
Equivalentes.ldentidades,51.
Orden pardal. Relacin de, 118.
-Proposiciones,73.
Espado de valores, 131.
Exclusiva"n"(V),76.
Parordenado.132.
Extremo absoluto, 116.
Paradoja de Hempel, 51.
Postulados de, para tlgebn de
Boole. Birkhoff y Macl.ane.
Forma cannica, IJ6, 142.
116.
.
Fupcfnbooleana,130;133.135.
---de Huntington,96.
-dedosestados,7.
---O!rQ, 121.
Precedencia. Orden de. Algebra
deinterruplllres,9.
--01.lculoproposiciona!,72.
Idempotente. Ley (vust Tauto/o
gfo)..
Premisa, 52.
Identldades.AlgebradeBoole,%.
Primo. Trmino, 154.
Principiodeequivalencia,73.
--.-deinterru])tores,21.
Proposicin,63:
Igualdad.Circuitosde,19.
-Fundonu booleanas, 143.
Implicacn,65.
Reflexiva. Relacin, 116.
-mutua(,...), 65.
Rel electromagntloo, 11.
Inclusin (g, 39.
-Relacin oon las operaciones Restadora, 91.
delosconjuntos,50.
Internrp!Oresoomoun lgebra de'
Boole. 107.
Silogismo,52.
lnterseccin(n) decon)untos,40: Simtrica. Dlfe~ncii.(<I.), 47.
Simplifiaicin
de, elr(Uitos,
-defuncionesbooleanu,Cap.S.
Sistema
cerrado,
42.
S11booniunto,
39.
-propio,39.
Sumadora.
29.
-completa.89.
--lllttm,ptort1,2'.
18.
--I.6gjai, 87.
-intermedia, 29, 88.
--lnterruptores,29.
--l.gica,88.
Tnruitividad de11J11relacln,ll.
-de "es suboonjunto de" (g,
"
Tr.mmisin.Funcin de, 3.
-Unea de, 2.
-en pan,Wo, a.
-enloerle.8.
n-Tuplaordenada,135.
Unin de oonjuntos (U),
Unlenal. Conj11nto, 41.
ViJTUla,
86.
40.
Vel1ch, 144.
Veno. Diagn.ma de,~.
Verificacin. Funcin de, 69.
-Vilorde,69.
-T1bb de. Algebra de lnterruptorea. 3.
--akuloproposlclonal,72.
--de11ncin:uito,U.