Documente Academic
Documente Profesional
Documente Cultură
Chimalhuacn
politcnica
Sistemas estratgicos
De Informacin
Algebra de Boole
Profesor:
Barrn
Luis
Integrantes:
De Jess Lpez Marisol
Quezada moreno Beatriz
Mndez Galicia Hctor Manuel
de
Objetivos
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
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
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.
p q r
p.q
p+r
p.q + r (p.q+r)(p+r)
1 0 0
1 0 1
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
(p r)
es una tautologa.
Por la tabla de verdad y poniendo:
(p q) = s
;
(q r) = t
;
Tenemos:
(p r) = v
pq=p+q;ppq
Problema 7.
RESPUESTA.
Con este simbolismo tenemos:
p(qr) premisa 1
qrp
premisa 2
(qr)p
premisa 3
pqr
premisa4
[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