Universidad

Chimalhuacn

politcnica

Sistemas estratgicos
De Informacin
Algebra de Boole
Profesor:
Barrn

Luis

Integrantes:
De Jess Lpez Marisol
Quezada moreno Beatriz
Mndez Galicia Hctor Manuel

Introduccin al algebra de Boole.

de

Las algebras booleanas, son componentes utilizados en sistemas de control, como

contactares y rels, presentan dos estados claramente diferenciados (abierto o
cerrado, conduce o no conduce) estas son estudiadas por primera vez por George
Boole. Son utilizadas ampliamente en el diseo de circuitos de distribucin y
computadoras y sus aplicaciones van en aumento en muchas otras reas, para
poder estudiar de forma sistemtica el comportamiento de los elementos, se
representan los dos estados por los smbolos 1 y 0 (0 abierto 1 cerrado). De esta
forma podemos utilizar una serie de leyes y propiedades comunes con
independencia del componente en si, todos los elementos del tipo todo o nada son
representables por una variable lgica, entendiendo como tal aquella que solo
puede tomar los valores 0 y 1. El conjunto de leyes y reglas de operacin de
variables lgicas se pueden denominar como algebre de Boole ya que fue George
quien desarrollo las bases de la lgica matemtica. En 1854 George Boole
present un tratamiento sistemtico de la lgica binaria en su libro Investigacin
sobre las leyes del pensamiento En 1904 Edward Vermilye Huntington present
una serie de postulados algebraicos para determinar formalmente los sistemas
algebraicos. En 1938 Claude E. Shannon demostr que los circuitos
digitales electrnicos pueden modelarse formalmente utilizando el lgebra de
Boole.

Objetivos

Que los alumnos amplen su campo de investigacin

Interpretacin y resolucin de problemas.
Desempearlo a lo largo de la carrea al igual que los conocimientos
adquiridos.

CONCLUSIN.
Que los alumnos desempee los cocimientos de forma adecuada, adems de
completarlo con lo ya adquirido en clase.

Algebra de boolE

Problema1:
Teorema lB (principio de dualidad). Demostrar que cada asercin o identidad
algebraica deducible de los postulados del lgebra de Boole sigue siendo vlida si
las operaciones " + " y " y los elementos identidad (1 y 0) se intercambian entre
si.
x

yy

ANDOR

x
0

1+1=1 ; 1.1

Elemento
1+1=1; 1. 0

Demostrar
de
Boole

Problema 2.
que todos los elementos de a,b,c de un algebra
se verifican los siguiente teoremas
Idempotencia:
=1
unidad:
=0

Absorcin:

a
+

1=

1;

a
a.

.a
0

=
=

a
0

a[(a + b) + c] = [(a + b) + c]a =

a
Asociatividad: a + (a.b) =(a + b)+c; a.(b.c)=(a.b).c
Complemento nico: el elemento a asociado al a es nico
Involucion: (a) = a'
Algebra booleana: 0 = 1; 1 = 0
Leyes de Morgan: (a +b) = a + b; (a . b) = a + b
Relacin de orden: si a b a + b = 1; si a b a. b = 0

1 . 1 = 1
0 + 0 = 1; 1+1 = 0
( 1 +1) = 1 + 1 ; ( 0. 0) = 0 0
1 + 0+1 +1 =1; 1. 0. 1. 0 = 0

Sobre conjuntos: cada algebra booleana que pueda formarse es isomerfa al algebra de
conjuntos.

Problema 3

De las siguientes sentencias o frases, cuales representan proposiciones?

a) 3 es un nmero primo
b) cuando se aade 5 a 7, la suma es 14
c) Existen seres vivos en Venus
d) Esta sentencia que Vd est leyendo es falsa
e) Es primo el nmero ll?
Si la sentencia p es "el buen tiempo es agradable" escribir p' de varias formas.

RESPUESTA.
Las frases a), b) y c) SI son proposiciones porque son sentencias declarativas
libres de ambigedad. Estn expresadas en modo gramatical indicativo. Las frases
d) y e) NO son proposiciones. La primera de ellas porque es una paradoja y est
sujeta a ambigedad; la segunda porque no est expresada en modo gramatical
indicativo.
Para la sentencia p' de la segunda parte podemos escribir, por ejemplo

PROBLEMA 4.
a) Sea p cierta, q falsa y r una proposicin que puede ser cierta o falsa, que se
puede decir de las siguientes proposiciones?
p.p'
;
p+r
;
(p.q + r)(p + r)
b) Escribir en castellano razonable la negacin de la proposicin p + q , siendo :
p : "el nmero 15 es par"
q : "hay un nmero que, cuando se aade a 6, da una suma de 13"
RESPUESTA.

la primera proposicin es falsa, puesto que la conjuncin de dos

proposiciones es cierta slo cuando sean ciertas ambas, y no puede ocurrir
que p y p' sean ciertas al mismo tiempo.
La segunda proposicin es cierta en todo caso, puesto que para ser cierta
la disyuncin de dos proposiciones slo es necesario que sea cierta una de
ellas y en esta ocasin p lo es.
La tercera proposicin la resolvemos calculando su tabla de verdad :

p q r

p.q

p+r

p.q + r (p.q+r)(p+r)

1 0 0

1 0 1

Puesto que p y q son respectivamente una tautologa y una contradiccin,

la proposicin estudiada es equivalente a la proposicin r.

Para la segunda parte, teniendo en cuenta las leyes de Morgan podemos

escribir:
p+q=pq y, por lo tanto :
p+q=pq = "El nmero 15 NO es par y no hay un nmero que cuando
se aade a 6 da una suma de 13"

PROBLEMA 5.
Escribir en lenguaje coloquial la negacin de la proposicin p + q , siendo :
p: "el nmero 15 es par"
q: "hay un nmero que, cuando se aade a 6, da una suma de 13"
RESPUESTA.
Teniendo en cuenta las leyes de Morgan podemos escribir:
p+q=pq
y, por lo tanto:
p+q=pq = "El nmero 15 NO es par y no hay un nmero que cuando se
aade a 6 da una suma de 13"

PROBLEMA 6.
Enunciado 6 de algebra de Boole y lgebra de proposiciones

Analizar los siguientes razonamientos:

Pl. "Si Bernardo se casa, entonces Florinda se suicida"
P2: "Florinda se suicida si y slo si Bernardo no se hace monje"
C. "Si Bernardo se casa, entonces no se hace monje"
RESPUESTA.
Podemos considerar las siguientes proposiciones:
p : "Bernardo se casa"
q : "Florinda se suicida"
r : : "Bernardo no se hace monje"
De ese modo, tenemos:
Pl : p q
;
P2 : q r
;
C:pr
La conclusin es vlida si y solo si la proposicin dada por :
(p q)(q r)

(p r)

es una tautologa.
Por la tabla de verdad y poniendo:
(p q) = s
;
(q r) = t
;
Tenemos:

(p r) = v

y resulta una tautologa.

Para este y otros casos es interesante recordar que se tienen las siguientes
equivalencias:

pq=p+q;ppq
Problema 7.

Consideremos un poltico que declara en la prensa:

Pl : "Si los impuestos suben, la inflacin bajar si y slo si el euro no se devala"
P2 : "Si la inflacin baja o si el euro no se devala, los impuestos no subirn"
P3 : "O bien baja la inflacin y se devala el euro, o bien los impuestos deben
subir"
Dicho poltico realiza un informe en el que concluye:
C: "Los impuestos deben subir, pero la inflacin bajar y el euro no se devaluar"
Analizar la validez de la conclusin.

RESPUESTA.
Con este simbolismo tenemos:
p(qr) premisa 1
qrp

premisa 2

(qr)p

premisa 3

pqr

premisa4

la conclusin ser vlida si la proposicin:

[p(qr)][(qr)p][(qr)p](pqr)

.
Para construir la tabla de verdad hacemos:
(qr)=s;(qr)=t;(qr)=v;(DEF)=W
y a partir de eso:

WG

y la conclusin a que llega el poltico no es lgicamente vlida.