Documente Academic
Documente Profesional
Documente Cultură
Por
Tatiana Mosquera
Presentado a
CEAD Medellín
lógicas, el proceso de solución de cada una de las tareas desarrolladas requiere de una
articulación entre contenidos, a su vez hallar las particularidades de cada uno estableciendo
explicación y desarrollo.
Objetivos
de estudio.
conjuntos y el álgebra de Boole para los buenos procesos de los diagramas de venn.
4. De entre los siguientes conjuntos, señala los que son el conjunto vacío
A= {x ∈ℝ/ x2+ x+1=0} = Ø es un conjunto vacío
B = {x ∈ℝ/ x<4 ∨x>6}
(-∞,4) U (6, ∞)
C = {x ∈ℝ / x2+ x−1=0}
D = {x ∈ℝ/ x+5=5}
X=0
E = {x ∈ℝ / x<4∧ x>6}
(-∞,4) ∩ (6, ∞) = Ø Es un conjunto vacío
F = {x∈ /x>4∧x no es mayor que 6}
(4,6)
A B
r,s,t x,y,z U, V,
W
a. X ⊂A y X ⊂ B
= {u, v, w}
B C
v, w, x U, s
y, z
b) X ⊄B y X ⊂C
= v, w, x
A C
U, S
v, w, x y,z
c) X ⊄A y X ⊄C
= y, z, t, v
A C
A, D B A,E
B ∪ C= a, b, d, e
B C
B,
D E A
B ∪ B= b, d, e
B B
B,
D, E
A∩ B= b, d
A B
B
A E
D
A∩ A= a, b, d
A A
A,
B, D
B ∩C= b, e
B C
B
D E A
A− B= a
A B
B
A E
D
A '= c, e
U A
A,
C, E B,
D
C – A= e
C A
A
E B
D
B ∩A ' = e
B A`
E
B, D C
A− A '= a, d, b
A A`
A, B, D C, E
A` C`
E C D
A ' ∩ B '= c
A` B`
C
E A
B−C '= b, e
B C`
B, E D C
B ' − A '= a
B` A`
A C E
A ∩ B ∩ C: 2
B-A-C: 12-5-4-2=1
B ∩ C: 5
5 4
1
2
B 1
4
C
9. Explique con sus palabras las leyes de Morgan en el álgebra de Boole y en la lógica
clásica
Algebra de Boole: es un algebra que trata con variables binarias y operaciones lógicas, las
variables se indican con letras del alfabeto.
a) v pertenece al conjunto M
R= v∈ M
R= T⊒ H
R=2 ∉ G
R= Z ⊄ A
R= X ⊄ K
R= H⊂ K
a. 2 ∉{1,3,5,7}
b. 0 ∉ Ø
c. 5 ∈{2,4,5,6},
d. 3 ∈ {x∈ℕ/2< x<6}
Conjunto por extensión: es el conjunto que enumera uno a uno todos los elementos del
mismo.
a) A= {x ∈ℤ/ x2=4}
x 2= 4
=√ x 2 =± √ 4
x=± 2
A= {-2, 2}
x-2= 5
x=5+2
B=7
T= {2,3,4}
C= {…-3,-2,-1, 1, 2, 3…}
e) R= {x ∈ℤ x2=9}
x 2=9
√ x 2=± √9
x=± 3
R= {-3,3}
f) Q= {x / x es una letra de la palabra calcular}
Q= {c,a,l,u,r}
4. De entre los siguientes conjuntos, señala los que son el conjunto vacío:
12 ± √ 12−4 (1)( 1)
A= x=
2 ( 1 )2
1± √ 1−4
A= x=
2
1± i √ 3
A= x=
2
B= {-∞ , 4 }∪{6 , ∞ }
C = {x ∈ℝ / x2+ x−1=0 }
1± √ 1+ 4
C= x=
2
1± √ 5
C= x=
2
D = {x ∈ℝ/ x+5=5}
D= x+5=5
x=5-5
x=0
E = {x ∈ℝ / x<4∧ x>6}
F=( 4,6 )
Respuesta:
a) Finito
b) Unitario
c) Infinito
d) Vacío
e) Finito
f) Vacío
g) Infinito
h) Unitario
D ={u , v}, E ={s , u} y F ={s }. Determina en cada caso, con las informaciones dadas y
con ayuda de un diagrama de Venn, cuál de los conjuntos dados es X: a) X ⊂A y X⊂
B; b) X ⊄B y X ⊂C ; c) X ⊄A y X ⊄C
Solución
d ¿ x={v , w , x }
a) X ⊂A y X⊂B
a¿ x={u , v , w }
A B
s x
u
r v y
w
t z
b) X ⊄B y X ⊂C b ¿ x={s ,u , y }
B C
x
u
v y
z s
w
c) X ⊄A y X ⊄C
c¿ x={t , v , y , z }
A
r C
t y
v s
w u z
7. Consideremos U ={a , b , c , d , e} como conjunto universal y los subconjuntos
∩C , A− B ,A ' ,C − A , B ∩A ' , A− A ' ,U ' ,A∪ A ' ,A∩ A ' ,∅' ,A ' ∪C ' ,A ' ∩B ' , B−C ' ,B ' − A
en B, o en ambos.
conjunto universo.
Solución
A∪C = {a, b, d, e}
B ∪C= {a, b, d, e}
B ∪B= {b, d, e}
A∩ B= {b, d}
A∩ A= {a, b, d}
B ∩C= {b, e}
A− B= {a}
A ' = {c, e}
C – A= { e}
B ∩A '= {e}
A− A '= {a, b, d}
U ' = {∅}
A∪ A '= {a,b,c,d,e}
A∩ A ' = {∅}
∅' ={a,b,c,d,e}
A ' ∪C '={c, d, e}
22 plazas de trabajo para titulados en ingeniería. Los aspirantes han de ser ingenieros
mecánica han de ser 11, los ingenieros en electricidad han de ser 12 y en química han de ser 10.
Algunos puestos han de ser ocupados por ingenieros con doble titulación, en concreto, 5 han de
electricidad y química. Algunas de las plazas ofrecidas deben ser ocupadas por ingenieros con
triple titulación.
Solución
Datos:
n(U)=22
n(A)=11
n(B)=12
n(C)=10
n(A∩C)=4
n(B∩C)=4
n(A∩B∩C) = 2
Encontramos que solo 2 ingenieros poseen la triple tripulación.
electricidad?
n(E) = 12 - (5 + 4+ 2)
n(E) = 12 - 11
n(E) = 1
no en mecánica?
n(B∩C)=4
Se ofrecen 4 plazas.
QUIMICOS
6
4 4
2
MECANICOS 5 1
ELÉCTRICOS
9. Explique con sus palabras las leyes de Morgan en el álgebra de Boole y en la lógica
clásica.
Las leyes de Morgan son dos reglas de inferencia que permiten la transformación
negación, dentro del algebra Booleana permiten la simplificación de expresiones, así como
Estas son:
las que se les aplica la operación AND es equivalente a aplicar la operación OR.
´ = X́ · Ý
X +Y
Jeimmy Lorena Numpaque Robayo
a) v pertenece al conjunto M
b) El conjunto T contiene como subconjunto al conjunto H
c) Entre los elementos del conjunto G no está el número 2
d) El conjunto Z no es un subconjunto del conjunto A
e) El conjunto X no contiene al conjunto K
f) El conjunto H es un subconjunto propio del conjunto K
RESPUESTA:
a) v∈M
b) T∈ H
c) G¬2
d) Z ∉ A
e) X ¬ K
f) H ∈ K
RESPUESTA:
a. 2 ∉ {1,3,5,7}
b. 0 ∈ Ø
c. 5 ∉ {2,4,5,6},
d. 3 ∈ {x∈ℕ/2< x<6}
d. América ∉ {x / x es el nombre de un país }
e.8 ∈ {x∈ℕ/8<x<10}
a) A= {x ∈ℤ/ x2=4}
b) B = {x∈ℤ / x−2 =5}
c) T = {x / x es una cifra del número 2324}
b) C = {x ∈ℤ/ x es positivo y negativo}
d) R= {x ∈ℤ x2=9}
e) Q= {x / x es una letra de la palabra calcular}
RESPUESTA:
a) A= (-2,2)
b) B= (7)
c) T=(2,3,4)
b) C= (…-5,-4,-3,-2,-1, 0, 1, 2, 3, 4,5…)
d) R= (-3,3)
e) Q= (C,A,L,U,R)
4. De entre los siguientes conjuntos, señala los que son el conjunto vacío:
C = {x ∈ℝ / x2+ x−1=0}
D = {x ∈ℝ/ x+5=5}
E = {x ∈ℝ / x<4 x>6}
F = x /x>4 x no es mayor que 6}
RESPUESTA:
A= {x ∈ℝ/ x2+ x+1=0} ∅ conjunto vacio
RESPUESTA:
a) Conjunto finito
b) Conjunto unitario
c) Conjunto infinito
d) Conjunto vacío
e) Conjunto finito
f) Conjunto vacío
g) Conjunto infinito
h) Conjunto unitario
A) X⊂ A y X ⊂ B=( u , v , w )
A B
R U
X
V
S W Y
T Z
A) X ⊄B y X ⊂C = (V, W, X.)
B C
V U
W Z
S
X
c) X ⊄A y X ⊄C = (Y, Z, T, V)
A C
V U
S Y
W
Z
X
RESPUESTA:
A∪ C= a, b, d, e
A C
A
A
D
E
B
B ∪ C= a, b, d, e
B C
D B
E A
B ∪ B= b, d,e.
B B
B
A∩ B= b, d
A B
A E
B
A∩ A= a, b, d
A A
B ∩C= b, e
B C
D A
B
A− B= a
A B
A B
D
E
A '= c, e
U A
C A
E D
C – A= e
C A
E D
A
B ∩A ' = e
B A
B E
C
D
A− A '= a, d, b
A A`
A
C
B
E
D
A A`
A C
B
D E
A` C`
E C
A ' ∩ B '= c
B`
A`
E C
A
B−C '= b, e
B C`
B
C
D
E
B ' − A '= a
B` A`
A C
E
8. La empresa Kia ha decidido aumentar su producción de coches, por lo que saca a concurso 22
plazas de trabajo para titulados en ingeniería. Los aspirantes han de ser ingenieros
mecánicos, ingenieros en electricidad o ingenieros químicos. Los ingenieros en
mecánica han de ser 11, los ingenieros en electricidad han de ser 12 y en química han de ser
10. Algunos puestos han de ser ocupados por ingenieros con doble titulación, en concreto, 5
han de ser ingenieros mecánicos y en electricidad, 4 han de serlo en mecánica y química, y 4
en electricidad y química. Algunas de las plazas ofrecidas deben ser ocupadas por ingenieros
con triple titulación.
5 4
2
e 1 4
q
9. Explique con sus palabras las leyes de Morgan en el álgebra de Boole y en la lógica clásica
RESPUESTA:
a) v pertenece al conjunto M
R= v∈ M
R= H⊂T
R= 2∉G
R= Z∉A
R= X∉K
R= H⊂K
a. 2 ∉ {1,3,5,7}
b. 0 ∉ Ø
c. 5 ∈ {2,4,5,6},
d. 3 ∈ {x∈ℕ/2< x<6}
a) A= {x ∈ℤ/ x2=4}
A= {- 2,2}
B= {7}
T=2,3,4}
d) R= {x ∈ℤ x2=9}
R={-3,3}
Q={c,a,l,u,r}
4. De entre los siguientes conjuntos, señala los que son el conjunto vacío:
B=Ø
C = {x ∈ℝ / x2+ x−1=0 }
D = {x ∈ℝ/ x+5=5}
E = {x ∈ℝ / x<4∧ x>6}
E=Ø
c) C = { 1, 3, 5, 7, 9, . . . . .} infinito
h) H = { x ∈ℕ / 3x = 6} unitario
}, D ={u , v}, E ={s , u} y F ={s }. Determina en cada caso, con las informaciones dadas
a) X ⊂A y X⊂B
A B
s x
u a) X = {u, v, w}
r v y
w
t z
X ⊄B y X ⊂C ;
B C
x
v u
y s b) X = {s, u, y}
w z
c) X ⊄A y X ⊄C
A C
Q r
y
t s
v u z c) X = {t, v, y, z}
w
A∪C = {a, b, d, e}
A C
Q
e
d a
b
B ∪C= {a, b, d, e}
B C
Q
d a
b
e
B ∪B= {b, d, e}
B B
Q
b,
d,
e
A∩ B= {b, d}
A B
Q
a e
b
d
A∩ A= {a, b, d}
A A
Q
a
b
d
B ∩C= {b, e}
B C
d a
b
e
A− B= {a}
A B
Q
a e
b
d
A ' = {c, e}
U A
c
a
e b
d
C – A= {e}
C A
e a d
B ∩A '= {e}
B
Aʹ
b
c
d
e
A− A '= {a, b, d}
A
Q Aʹ
a c
b
d e
U ' = {∅}
Uʹ
A∪ A '= {a,b,c,d,e}
A
Q Aʹ
a b
d e
c
A∩ A ' = {∅}
∅' = {a,b,c,d,e}
∅'
a
d
e
b
c
A ' ∪C '={c, d, e}
Cʹ
Aʹ
e d
c
Aʹ Bʹ
e a
c
Bʹ Aʹ
a e
c
8. La empresa Kia ha decidido aumentar su producción de coches, por lo que saca a concurso
22 plazas de trabajo para titulados en ingeniería. Los aspirantes han de ser ingenieros
mecánica han de ser 11, los ingenieros en electricidad han de ser 12 y en química han de ser 10.
Algunos puestos han de ser ocupados por ingenieros con doble titulación, en concreto, 5 han de
electricidad y química. Algunas de las plazas ofrecidas deben ser ocupadas por ingenieros con
triple titulación. ¿Cuántos ingenieros han de poseer triple titulación? ¿Cuántos puestos hay para
Análisis:
n(MᴜEᴜQ)=22
n(M∩E)=5
n(M∩Q)=4
n(E∩Q)=4
Tenemos que: la intersección de las tres ingenierías es igual al número total de ingenieros,
químicos.
n(M∩E∩Q) = 22 - 33 + 13
n(M∩E∩Q) = 2
Tenemos que: solo ingenieros eléctricos es igual al número total de ingenieros eléctricos,
n(E solo) = 12 - (5 + 4) + 2
n(E solo) = 12 - 9 + 2
n(E solo) = 5
de ingenieros en química.
n(MUEUQ) - n(M) = 22 – 11 = 11
Q
ING. QUIMICOS
4 4
2
M
ING. MECANICOS 5 1
E
ING. ELÉCTRICOS
9. Explique con sus palabras las leyes de Morgan en el álgebra de Boole y en la lógica clásica
declarar la equivalencia que puede existir entre dos proposiciones lógicamente equivalentes.
Posteriormente, durante el siglo XIX, basándose a su vez en los postulados y rescate de la
lógica hecho por George Boole, Augustus de Morgan logra la formalización de las leyes
mérito por el cual dichos postulados reciben su nombre: Leyes de Morgan, al tiempo que
desde entonces en herramientas indispensables para lograr inferencias válidas en base a los
El álgebra de Boole o Algebra Booleana, es un sistema matemático que trata con dos valores;
0y1; o falso y verdadero. Además el sistema cuenta con operadores binarios, algunos ejemplos
de estos son el operador AND, OR y NOT, los cuales se denotan por los símbolos (., + y ʹ)
respectivamente.
Cálculo Proposicional e Inferencia Lógica
Por
Código: 35.545.385
Presentado a
Lógica Matemática
CEAD Medellín
Mayo 9 de 2020
INTRODUCCIÓN
En el desarrollo del siguiente trabajo individual se puso en práctica los conceptos aprendidos
sobre la Teoría de Conjunto y el Algebra de Boole. Donde se trate desarrollar cada uno de los
solución de problemas. Los cuales me ayudan a introducirme más en las diferentes formas de
a) v pertenece al conjunto M
V∈M
T⊆H
2∉ G
Z⊄A
K ⊄X
H⊂K
a) 2 ∉ {1,3,5,7}
b) b. 0∉ Ø no pertenece
a) A= {x ∈ℤ/ x2=4}
{ X ∈ Z /x 2 =4 }
x 2=4
√ x2=±√ 4
x=±2
así { X ∈ Z / x 2 =4 }={−2 , 2 }
{ X ∈ Z /x-2=5 }
x−2=5
x=2+5
x=7
así { X ∈ Z / x-2=5 }={ 7 }
C={−∞...−2,−1,1,2... ∞ }
e) R= {x ∈ℤ x2=9}
{ X ∈ Z /x 2 =9 }
x 2=9
√ x2=±√ 9
x=±3
así { X ∈ Z / x 2 =9 }= {−3 , 3 }
f)Q= { x / x es una letra de la palabra calcular }={c , a , l ,u , r }
Q = {x / x es una letra de la palabra calcular }
Q= {c,a,l,c,u,l,a, r }
Q= {c , a , l ,u , r }
4. De entre los siguientes conjuntos, señala los que son el conjunto vacío:
{x ∈R/ x 2 + x+1=0}
−12 ±√ 12−4 ( 1 ) (1 )
x= 2
2 (1)
1± √1−4
x=
2
1± −3
x= √
2
solución dentro del conjunto de los números reales, por tanto el conjunto A es un conjunto
vacío.
C = {x ∈ℝ / x2+ x−1=0}
{x ∈R/ x 2 + x-1=0}
−1± √−12 −4 ( 1 )(−1 )
x=
2 ( 1)
1± 1+4
x= √
2
1± 5
x= √
2
−1− √5
x=
2
−1+ √ 5
x=
2
2
Por tanto el conjunto C = {x ∈ R/ x + x-1=0 } no es un conjunto vacío
D = {x ∈ℝ/ x+5=5}
{x ∈R/ x+5=5}
x+5=5
x=5−5
x=0
D = {x ∈ R/ x+5=5} no es vacío
E = {x ∈ℝ / x<4∧ x>6}
F=( 4,6 )
A= {r, s, t, u, v, w}
B = {u, v, w, x, y, z}
C = {s, u, y, z}
D = {u, v}
E = {s, u}
F = {s}. Determina en cada caso, con las informaciones dadas y con ayuda de un diagrama de
c) X ⊄A y X ⊄C
Para dar solución a los conjuntos antes mencionados se debe realizar lo siguiente
Solución
a)x= { u,v,w ¿ ¿
b ) x= { x,y, z }
c¿ . X={t , v , y , z }
d ¿ . X={v , w , x }
X ⊂A y X⊂B
A
B
r
w x
us y
v
t z
.
X ⊄B y X ⊂C;
B
C
Y
z
w
u .
x
s
.
E
X ⊄B y X ⊂C
7. Consideremos U ={a , b , c , d , e} como conjunto universal y los subconjuntos
B ∩C , A− B ,A ' ,C − A , B ∩A ' , A− A ' ,U ' ,A∪ A ' ,A∩ A ' ,∅' ,A ' ∪C ' ,A ' ∩B ' , B−C ' ,B
A= { a , b , d }
C={a , b , e }
A∪C= { a , b , d , e }
B={ b , d , e }
B∪B= { b , d , e }
A= { a , b , d }
B={ b , d , e }
A∩B={ b , d }
La parte sombreada indica A∩B={ b , d }
A= { a , b , d }
A∩ A={ a ,b , d }
B={ b , d , e }
C={a , b , e }
B∩C={ b , e }
A−B={ a }
A B
A ' = {e , c }
C−A= { e }
B∩ A' = { e , c }
A− A ' ={ e ,b , d }
'
U
A∪ A A∪ A '
A∩ A '
φ' U= { a ,b , c , d , e }
A ' ∩B' ={ a ,e , c }
B−C ' ={ b , e }
B ' −A ' ={ a }
8. La empresa Kia ha decidido aumentar su producción de coches, por lo que saca a concurso
22 plazas de trabajo para titulados en ingeniería. Los aspirantes han de ser ingenieros
mecánica han de ser 11, los ingenieros en electricidad han de ser 12 y en química han de ser 10.
Algunos puestos han de ser ocupados por ingenieros con doble titulación, en concreto, 5 han de
electricidad y química. Algunas de las plazas ofrecidas deben ser ocupadas por ingenieros con
triple titulación. ¿Cuántos ingenieros han de poseer triple titulación? ¿Cuántos puestos hay para
Solución
Número de plazas 22
E=12
Q=10
M∩E=5
M∩Q=4
E∩Q=4
[ n ( M∩E ) +n ( M ∩Q ) +n ( E∩Q ) ]
n ( M∩E∩Q )=22−33+13
n ( M∩E∩Q )=2
¿Cuántos puestos hay para ingenieros que tengan únicamente la especialidad en electricidad?
n ( E )=12−9+2
n ( E )=5
electricidad.
mecánica?
no mecánica.
4 2
4
2 Q
9. Explique con sus palabras las leyes de Morgan en el álgebra de Boole y en la lógica clásica
Las leyes de Morgan en el álgebra de Boole y en la lógica clásica son reglas válidas que
¬ (P ^ Q) ≡ (¬P v ¬Q) Si nos encontramos con una proposición conjuntiva totalmente negada.
La ley de Morgan nos permite transformarla en una proposición disyuntiva con cada uno de sus
miembros negados
¬ (P v Q) ≡ (¬P ^ ¬Q) Si nos encontramos con una proposición disyuntiva totalmente negada,
la ley de Morgan nos permite transformarla en una proposición conjuntiva con cada uno de sus
miembros negados
sus miembros.
(P v Q) ≡ ¬ (¬P ^ ¬Q) Si nos encontramos con una proposición disyuntiva afirmada, la ley de
sus miembros.
CONCLUSIÓN
La realización de este trabajo me ayudó a afianzar los conocimientos sobre la lógica matemática,
sus características, propiedades y representación gráfica. Donde pude resolver algunos ejercicios y
Como estudiante de matemáticas en proceso trate de aplicar algunas estrategias sugeridas por el
tutor explicando paso a paso la forma como resolvimos cada uno de los ejercicios propuesto, para
de esta manera poder brindar una buena y fácil comprensión de los procedimientos.
BIBLIOGRAFÍA
com.bibliotecavirtual.unad.edu.co/lib/unadsp/detail.action?docID=3196933
de http://www.monografias.com/trabajos-pdf3/logica-matematica/logica-matematica.pdf
de https://webs.ucm.es/info/pslogica/teoriaconjuntos.pdf
de http://vinuar75tecnologia.pbworks.com/f/Algebra+de+Boole+2.pdf
PARTE COLABORATIVA
Pregunta generadora:
El equipo de fútbol de un Colegio está formado por Pedro, Diego, Hugo, Carlos,
Roberto, Rolando y Edgar. El equipo de las Olimpiadas de Matemáticas de dicha clase está
formado por Andrea, Diego, Cristina, Rolando y Edgar. ¿Quiénes están en ambos equipos?
¿Quiénes están en al menos uno de los dos equipos? ¿Quiénes están en el equipo de fútbol,
¿Quiénes están en al menos uno de los dos equipos? Pedro, Hugo, Carlos, Cristina y
Andrea
Carlos
¿Quiénes están sólo en uno de esos dos equipos? Pedro, Hugo, Carlos, Cristina y Andrea
U= { a , b , c , d , e , f , g , h , i }
H= { c , d , e , f , g , i }
A= { c ,d , e , f }
B={ f , g , i }
A H H
g cdef i
B H H U
B
c d
f g i
H A∪B.
H
a
b
A B
c d e f g i
.
h
¿Qué se puede decir del conjunto H? Dadas las condiciones, se puede decir o concluir
que
A= { 1,2,3,4 ,5 }
A∩B={ 2 , 4 }
A∩B={ 2 , 4 }
A B
4
1
3 6
5
¿Cuál es la cardinalidad de (A∪B)?
4. Dado el siguiente mapa, escriba los equivalentes lógicos y las tablas de valores para los
mismos.
RTA:
= [(A+A)+(B+B)]+(A+B)
=(A+B)+(A+B)
= AB+AB
=AB
(A+B)
0 0 1 1 1 0 1 1 1
0 1 1 0 0 1 1 1 1
1 0 0 1 0 1 1 1 1
1 1 0 0 0 1 1 1 1
Para dar solución al ejercicio es importante mencionar la reglas y propiedades del algebra
de Boole.
Reglas
1
Reglas básicas de simplificación Booleana. https://sites.google.com/site/anakarensilvauppue28/f-reglas-
basicas-de-simplificacion
Propiedades:
simplificamos:
ac + b́ (a ć b+abd +d + á d́ )
2
Funciones lógicas
http://recursostic.educacion.es/secundaria/edad/4esotecnologia/quincena5/4q2_contenidos_4d.htm
Paso 5: Aplicamos la regla 6 a la variante a de los términos tercero y sexto.
ac + b́ (ć b +bd∗1+1)
ac + b́ (ć b +bd∗1)
ac + b́ (ć+ b+d∗1)
ac + b́ (ć+ b+d )
ac ( ć∗1+ d)
ac ( ć +d )
a∗1+d
a+ d
t́ (q +v + ź + p∗1+ q)
t́ (q +v + ź + p+q)
t́ (q +v + ź + p)
3. Desarrollamos la literal 3 de manera individual
ć d́ b á+cdba+ mb
Paso 2: Aplicamos la regla 6 a las variantes cda de los términos segundo y tercero.
b (1+ m)
b+ m
t v́ w+ vp+℘+ v t́
t v́ w+ v+ p+℘+ t́
t v́ w+ v+ p+ w+ t́
v́ w +v + p+ w∗1
v́ w +v + p+ w
w +v + p+ w∗1
w +v + p+ w
1. a+d 2 . t́ (q +v + ź + p)
3 . b+m 4 . v + p+w
CONCLUSIÓN
La realización de este trabajo nos ayudó a afianzar los conocimientos sobre la lógica
por el tutor explicando paso a paso la forma como resolvimos cada uno de los ejercicios
propuesto, para de esta manera poder brindar una buena y fácil comprensión de los
procedimientos.
En la realización de cada uno de los ejercicios nos acercamos cada vez más a los tema
com.bibliotecavirtual.unad.edu.co/lib/unadsp/detail.action?docID=3196933
de http://www.monografias.com/trabajos-pdf3/logica-matematica/logica-matematica.pdf
de https://webs.ucm.es/info/pslogica/teoriaconjuntos.pdf
de http://vinuar75tecnologia.pbworks.com/f/Algebra+de+Boole+2.pdf