UNIVERSIDAD NACIONAL TECNOLÓGICA DE LIMA SUR

ARITMÉTICA
(MATEMÁTICA I)
CEPREUNTELS
CICLO ACADÉMICO 2018 - II S E M AN A 1
LOGICA PROPOSICIONAL

La lógica estudia la forma de razonamiento. Es V. CONECTIVOS LÓGICOS: Símbolos que

una disciplina que se utiliza para determinar si un enlazan dos o más proposiciones simples
argumento es válido, tiene aplicación en todos los para formar una proposición compuesta. Los
campos del saber. conectores lógicos que usaremos son:
I. ENUNCIADO: Es cualquier frase u oración OPERACIÓN
SÍMBOLO SIGNIFICADO
que expresa una idea. LÓGICA
∼ Negación No p
II. PROPOSICIÓN: Son oraciones aseverativas
∧ Conjunción p y q
que se pueden calificar como verdaderas o
∨ Disyunción p o q
falsas. Se representan con las letras
→ Condicional Si p, entonces q
minúsculas del abecedario: p ; q ; r ; s. ↔ Bicondicional p si y sólo si q
Ejemplo: Disyunción
∆ “o … o …”
- Túpac Amaru murió decapitado. Exclusiva
- 11< 10
VI. OPERACIONES LÓGICAS Y TABLAS DE
III. ENUNCIADO ABIERTO: Son enunciados VERDAD
que pueden tomar cualquiera de los 2 valores La validez de una proposición compuesta
de verdad. depende de la validez de las proposiciones
simples que la componen.
Ejemplo:
1. Conjunción: Vincula dos proposiciones
Si: P(x): x > 6
mediante el conectivo lógico "y".
Se cumple que:
P(8): 8 > 6 es verdadero Tabla de Verdad
P(3): 3 > 9 es falso
p q p ∧ q
El valor de verdad de P(x) depende del valor V V V
de x, también, se le conoce como función V F F
proposicional. F V F
F F F
IV. CLASES DE PROPOSICIONES:
2. Disyunción: Vincula dos proposiciones
1. Proposición Simple: Son proposiciones mediante el conectivo lógico "o".
que no tienen conjunciones gramaticales ni
adverbio de negación. Tabla de Verdad

Ejemplo: Cincuenta es múltiplo de diez. p q p v q

2. Proposición Compuesta: Formada por V V V
V F V
dos o más proposiciones simples unidas
F V V
por conectivos lógicos o por el adverbio de F F F
negación.
Ejemplo: 29 es un número primo y 5 es
impar.
CICLO 2010 – I 1 | Pág.
ARITMÉTICA TEORÍA Y EJERCICIOS DE CLASE Nº 01
3. Disyunción Exclusiva: Vincula dos • Se dirá que el esquema molecular es
proposiciones mediante el conectivo contradictorio si los valores del operador
lógico: principal son todos falsos.
"o…., o…." • Si los valores del operador principal tiene
Tabla de Verdad por lo menos una verdad y una falsedad se
p q p ∆ q dice que es contingente o consistente.
V V F
V F V
VII. LEYES DE ÁLGEBRA PROPOSICIONAL
F V V Son equivalencias lógicas que nos permiten
F F F reducir esquemas moleculares complejos y
expresarlos en forma más sencilla. Las
4. Condicional: Vincula dos proposiciones
demostraciones de dichas leyes se hacen
mediante el conectivo lógico:
"Si …., entonces ….." construyendo la tabla de verdad en cada caso.

Tabla de Verdad PRINCIPALES LEYES:

p q p → q a. Ley de Idempotencia:
V V V p ∧ p ≡ p
V F F p ∨ p ≡ p
F V V
F F V b. Ley Conmutativa:
5. Bicondicional: Vincula dos proposiciones p∨q ≡ q ∨ p
mediante el conectivo lógico: p∧q ≡ q ∧ p
"…. si y sólo si ...."
c. Ley Asociativa:
Tabla de Verdad (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
p q p ↔ q (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
V V V d. Ley Distributiva:
V F F
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
F V F
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
F F V

6. Negación: Afecta a una sola proposición. e. Ley de la Doble Negación:

Es un operador monádico que cambia el ∼ (∼ p) ≡ p
valor de verdad de una proposición: f. Leyes de Identidad:
Tabla de Verdad p∨V ≡ V ; p∨F ≡ p
p∧V ≡ p ; p ∧F ≡ F
p ∼p
g. Leyes del Complemento:
V F
p∨∼p ≡ V
F V
p∧∼p ≡ F

OBSERVACIÓN: h. Ley del Condicional:

La cantidad de filas en una tabla p→q≡∼p∨q
es: # filas = 2n i. Ley de la Bicondicional:

Donde n es la cantidad de proposiciones p ↔ q ≡ (p → q) ∧ (q → p)

simples. p ↔ q ≡ (p ∧ q) ∨ (∼ p ∧ ∼ q)
p ↔ q ≡ ∼ (p ∆ q)
IMPORTANTE: j. Ley de Absorción:
• Cuando los valores del operador principal p ∨ (p ∧ q) ≡ p
son todos verdaderos se dice que el p ∧ (p ∨ q) ≡ p
esquema molecular es tautológico. p ∨ (∼ p ∧ q) ≡ p ∨ q
p ∧ (∼ p ∨ q) ≡ p ∧ q
CICLO 2018 - II 2 | Pág.
ARITMÉTICA
k. Leyes de "De Morgan":
∼ (p ∨ q) ≡ ∼ p ∧ ∼ q
∼ (p ∧ q) ≡ ∼ p ∨ ∼ q
VIII. CUANTIFICADORES:
1. Cuantificador Universal: Sea la función
proposicional sobre un conjunto A, el
cuantificador ("para todo") indica que todos
los valores del conjunto A hacen que la
función proposicional sea verdadera.
∀ se lee : "para todo "
1. Sean las proposiciones
Ejemplo:
Sea: f(x) : x 3 + 2 > 5 donde x ∈ N
La proposición cuantificada es:
∀ x ∈ N ; x 3 + 2 > 5 es falsa.
2. Cuantificador existencial: Sea una función
proposicional sobre un conjunto A, el
cuantificador (existe algún) indica que para
algún valor del conjunto A, la función
proposicional es verdadera.
∃ se lee : "Existe algún"
Ejemplo:
Sea f(x): x2 – 5 < 8, donde: x ∈ Z+, la
proposición: ∃ x ∈ Z+ / x2 – 5 < 8 es
verdadera.
IX. CIRCUITOS LÓGICOS
Un circuito conmutador puede estar
solamente en dos estados estables: cerrado
o abierto, así como una proposición puede
ser verdadera o falsa, entonces podemos
representar una proposición utilizando un
circuito lógico:
1. Circuito Serie:
Dos interruptores conectados en serie
representan una conjunción.
p q < > p∧q
CICLO 2018 - II
TEORÍA Y EJERCICIOS DE CLASE Nº 01
2. Circuito Paralelo:
Dos interruptores conectados en paralelo
representan una disyunción.
p
< > p∨ q
q
EJERCICIOS DE CLASE
p: Julio postula a la UNTELS
q: Julio postula a otra universidad
t: Julio es un buen cantante.
Halle la expresión simbólica del siguiente
enunciado: “Si Julio decide no postular,
entonces sería un buen cantante, pero, si
Julio no es un buen cantante, entonces
postulará a alguna universidad”.
A) ( ∼( p ∧ q ) → t ) ∨ ( t → ( p ∧ q ) )
B) ( ( ∼p ∧ ∼q ) → t ) ∧ ( ∼t → ( p ∨ q ) )
C) ( ( p ∨ q ) → t ) ∧ ( ∼t → ( p ∧ q ) )
D) ( ∼( p ∧ q ) → ∼t ) ∨ ( t → ( p ∨ q ) )
E) ( ( ∼p ∧ ∼q ) → ∼t) ∧ ( ∼t → ( p ∧ q )
SOLUCIÓN
p: Julio postula a UNTELS
q: Julio postula a otra universidad
t: Julio es un buen cantante.
Si Julio decide no postular, entonces sería un
buen cantante:
∼( p ∧ q ) → t
Si Julio no es un buen cantante, entonces
postulará a alguna universidad:
∼t → ( p ∨ q )
“Si Julio decide no postular, entonces sería un
buen cantante, pero, si Julio no es un buen
cantante, entonces postulará a alguna
universidad”:
( ( ∼p ∧ ∼q ) → t ) ∧ ( ∼t → ( p ∨ q ) )
3 | Pág.
ARITMÉTICA TEORÍA Y EJERCICIOS DE CLASE Nº 01
2. Según la tabla de valores veritativos, para el V
siguiente esquema molecular: II. [ ( ∼p → ∼q ) ∨ ( p  q ) ] ≡ V
[∼ p → (p ∧ q)] ∧ [∼q → (q ∧ ∼p)] V V F F
en la columna resultante obtenemos: V F

A) VFFF B) VVFF C) VFFV V

D) FVFV E) FVFF III. [ (∼p ↔ q ) → ( p ∨ q ) ] ≡ V
V F F F
SOLUCIÓN F F
p q [∼ p → (p ∧ q)] ∧ [∼q → (q ∧ ∼p)]
V
V V F V V V F V V F F
V F F V F F V F F F F 5. Simplifique [∼p ∧ (p →∼q)] ∧ [∼p ∧ (∼q → ∼p)]
F V V F F F F V V V V
F F V F F F V F F F V A) ∼p B) ∼p v p C) q ∧ ∼q
D) p E) q
3. La validez del siguiente esquema molecular :
SOLUCIÓN
[ ( ∼p ∧ ∼q ) ∨ r ] → ( p → q ) es falsa, halle
el valor de verdad de p, q y r [∼p ∧ (p →∼q)] ∧ [∼p ∧ (∼q → ∼p)] ≡
respectivamente.
[∼p ∧ (∼p ∨∼q)] ∧ [∼p ∧ (q ∨ ∼p)] ≡ ∼p ∧ ∼p ≡ ∼p
A) VVV B) VFV C) FVV
6. Dadas las equivalencias lógicas:
D) VVF E) FVF p Ω q ≡ [q ∧ (q ∧ (q v p)]
SOLUCIÓN p  q ≡ p ∧ (∼p v ∼q)
[ ( ∼p ∧ ∼q ) ∨ r ] → ( p → q ) ≡ F Simplifique [(p Ω q) ∧ (p  q)] v ∼q
F V V F
A) ∼q B) ∼p C) p ∧ ∼p
F V D) q v p E) p v ∼q
V F SOLUCIÓN
p ≡V q ≡F r ≡V p Ω q ≡ [q ∧ (q ∧ (q v p)] ≡ q
4. Si el valor de verdad de la proposición
p  q ≡ p ∧ (∼p v ∼q) ≡ p ∧ ∼q
[ ∼p → ( p ∨ q ) ] es falsa, halle el valor de [(p Ω q) ∧ (p  q)] v ∼q ≡ [ q ∧ (p ∧ ∼q)] v ∼q ≡
verdad de las siguientes proposiciones:
F v ∼q ≡ ∼q
I. ∼ [∼p ∨ (∼q → ∼p ) ] 7. Simplifique
II. [ ( ∼p → ∼q ) ∨ ( p  q ) ]
III. [ (∼p ↔ q ) → ( p ∨ q ) ] ∼[ (q ∨ p) ∧ (∼p → ∼q) ] ∨ [∼(q ∧ p) → (∼p ∧ q) ]

A) FFV B) FVV C) VFV A) q ∨ p B) ∼p ∧ q C) p

D) VFF E) FVF D) q E) ∼p v q
SOLUCIÓN SOLUCIÓN
∼p→(p∨q)≡F
∼[(q∨p) ∧ (∼p→∼q)] ∨ [∼(q∧p) → (∼p∧q)]
F F F
V F ⇒p≡F q≡F
≡ ∼[(q∨p)∧(p∨∼q)] ∨ [(q∧p) ∨ (∼p∧q)]
I. ∼ [∼p ∨ (∼q → ∼p ) ] ≡ F (Ley de la condicional)
V V ≡ ∼[ p∨(q∧∼q) ] ∨ [ q ∧ (p∨∼p) ]
( Distributividad )
V V

CICLO 2018 - II 4 | Pág.

ARITMÉTICA TEORÍA Y EJERCICIOS DE CLASE Nº 01
≡ ∼[p ∨ F] ∨ [q ∧ V] [(∼p * q) *p] → (p * q)
( Ley del complemento)
≡ ∼p∨q A) p ∨ ∼q B) p ∧ ∼q C) p ∧ q
( Ley Identidad ) D) ∼q E) ∼p ∧ ∼q

8. Sea p una proposición lógica, definimos SOLUCIÓN

0;si p es falso p * q ≡ p ∨ ∼q
G (p ) = 
1;si p es verdadera [(∼p * q) *p] → (p * q) ≡ [(∼p ∨ ∼q) * p] →
Si
G(s → (∼p v q)) = 0 y G(∼q ∧ (r → q)) = 1, (p ∨ ∼q) ≡ [(∼p ∨ ∼q) ∨ ∼p] → (p ∨ ∼q) ≡
halle el valor de: (∼p ∨ ∼q) → (p ∨ ∼q) ≡ ∼ (∼p ∨ ∼q) ∨ (p ∨ ∼q)

K = 3G(∼s∧r) + 2G(q v p) – G(r ∧ ∼q) ≡ (p ∧ q) ∨ (p ∨ ∼q) ≡ [(p ∧ q) ∨ p] ∨ ∼q ≡

p ∨ ∼q
A) 3 B) 2 C) 0
D) 1 E) 4 11. Sea U = {x ∈ R/ 5 ≤ x ≤ 20} el universo. Halle
el valor de verdad de
SOLUCIÓN I. ∃ x ∈ U/ ∀ y ∈ U : x - y < 3
F ≡ s → (∼p v q) V = ∼q ∧ (r → q) II. ∀ x ∈ U: ∃ y ∈ U / 2x > y + 2
III. ∃ x ∈ U, ∃ y ∈ U / x – y < 13
V F F F
A) VVV B) VFV C) VVF
V F F V
D) FVV E) FFV
K = 3G(F) + 2G(V) – G(F) = 0 + 2 + 0 = 2 SOLUCIÓN
9. Indique el valor de verdad de las I. ∃ x ∈ U/ ∀ y ∈ U : x - y < 3 ( V )
proposiciones siguientes: x=5 y = 5, 6, …, 20
I. p → (p v q) II. (p ∧ q) → p
II. ∀ x ∈ U: ∃ y ∈ U / 2x > y + 2 ( V )
III. ∼ [(p ∧ q) → p]
x = 5, 6, …, 20 y = 5
A) VFV B) VVV C) VVF III. ∃ x ∈ U, ∃ y ∈ U / x – y < 13 ( V )
D) FVV E) FFV
x=6 y=5
SOLUCIÓN
I. p → (p v q) ≡ ∼p v (p v q) ≡ (∼p v p) v q ≡ V 12. Simplifique el siguiente circuito
~q
II. (p ∧ q) → p ≡ ∼ (p ∧ q) v p ≡ (∼p v ∼q) v p
≡ (∼p v p) v ∼q ≡ V ~p
III. ∼ [(p ∧ q) → p] ≡ ∼ [∼ (p ∧ q) v p] ≡ A q B
~p
(p ∧ q) ∧ ∼p ≡ q ∧ (p ∧ ∼p) ≡ F ~q

~p
10. Al definir el operador lógico
A) q ∧ ∼p B) p v q C) ∼p
p q p*q D) ∼p v ∼q E) ∼q
V V V SOLUCIÓN
V F V q ∧ [(∼q v ∼p) v (∼q v ∼p)] ∧ ∼p ≡
F V F q ∧ [(∼q v ∼p)] ∧ ∼p ≡ q ∧ [(∼q v ∼p) ∧ ∼p] ≡
F F V
q ∧ ∼p

Simplifique la proposición

CICLO 2018 - II 5 | Pág.

ARITMÉTICA TEORÍA Y EJERCICIOS DE CLASE Nº 01
EJERCICIOS DE EVALUACIÓN 3. Si el valor de verdad de la proposición
(∼q ∧ p) ∧ [ (t ∨ ∼p) ∧ (t → p) ] es verdadera,
1. Sean las proposiciones halle el valor de verdad de p, q y t
p: Ángel estudia respectivamente.
q: Ángel se divierte A) FVV B) FFV C) VFV
t: Ángel trabaja.
D) FVF E) FFF
Simplifique la negación de la expresión SOLUCIÓN
simbólica del enunciado siguiente: “Si es el
caso que Ángel estudia, entonces el no se (∼q ∧ p) ∧ [ (t ∨ ∼p) ∧ (t → p) ] ≡ V
divierte o trabaja”. F V V F V V

A) ∼t∧q∧p B) (p∨∼q)∧t C) ∼p∧q∧t V V

D) (∼p∧∼q)∨t E) ∼p∨t∨p V V

SOLUCIÓN Luego p ≡ V, q ≡ F, t ≡ V
p: Ángel estudia 4. Si el valor de verdad de la proposición
q: Ángel se divierte [∼(p ∨ q) → r] es falsa, halle el valor de
t: Ángel trabaja verdad de las siguientes proposiciones.

La negación de “Si es el caso que Ángel I. ( p ∨ ∼q ) → r

estudia, entonces el no se divierte o trabaja“ :
∼ [p → (∼q ∨ t)] ≡ ∼ [∼p ∨ (∼q ∨ t )] ≡ II. (∼p ∨ ∼r ) ∧ ∼q
∼ [∼p ∨ ∼q ∨ t] ≡ p ∧ q ∧ ∼t III.(∼p ∧ ∼q ) ∨ ∼p

2. En la siguiente tabla, halle los valores de A) VVF B) FFV C) FVF

verdad de la proposición compuesta: D) VFF E) FVV

p q r [(p → ∼r) ∧ (∼q  r)] ↔ (p ∨ q) SOLUCIÓN

[∼(p ∨ q) → r] ≡ F
F F
F
Dé como respuesta cuántas V y F hay
respectivamente. V F Luego p ≡ F, q ≡ F, r ≡ F
I. ( p ∨ ∼q ) → r ≡ ( F ∨ V ) → F ≡ V → F ≡ F
A) 6 y 2 B) 3 y 5 C) 7 y 1
D) 4 y 4 E) 5 y 3 II. (∼p ∨ ∼r ) ∧ ∼q ≡ (V ∨ V ) ∧ V ≡ V ∧ V ≡ V
III. (∼p ∧ ∼q ) ∨ ∼p ≡ (V ∧ V) ∨ V ≡ V
SOLUCIÓN
5. Simplifique
p q r [(p → ∼r) ∧ (∼q  r)] ↔ (p ∨ q)
( p → q ) ∨ [ ∼( p → q ) ∧ ( ∼p ∧ q ) ].
V V V V F F F FVV F V
V V F V V V F FFF F V
A) p → q B) ∼p ∧ q C) ∼p∧∼q
V F V V F F F VFV F V
V F F V V V V VVF V V D) ∼p → q E) p∨∼q
F V V F V F V FVV V V
F V F F V V F FFF F V SOLUCIÓN
F F V F V F F VFV V F ( p → q ) ∨ [ ∼( p → q ) ∧ ( ∼p ∧ q ) ] ≡
F F F F V V V VVF F F
(Ley condicional)
(∼p ∨ q ) ∨ [ ∼( ∼p ∨ q ) ∧ ( ∼p ∧ q ) ] ≡
(Ley de morgan)
(∼p ∨ q ) ∨ [ ( p ∧ ∼q ) ∧ ( ∼p ∧ q ) ] ≡
CICLO 2018 - II 6 | Pág.
ARITMÉTICA TEORÍA Y EJERCICIOS DE CLASE Nº 01
(Ley asociativa) 8. Dada la siguiente equivalencia lógica:
p⊕q≡(p→q)∧(q∨∼p)
(∼p ∨ q ) ∨ [ ( p ∧ ∼p ) ∧ ( ∼q ∧ q ) ] ≡
Simplifique [ ( p ⊕ q ) ⊕ ( p ⊕ q ) ]
(Ley del complemento)
A) p ∧ ∼p B) p v ∼p C) p
(∼p ∨ q ) ∨ [ F ∧ F ] ≡ (∼p ∨ q ) ∨ F ≡ ∼p ∨ q ≡
p→q D) q E) ∼ q

6. Simplifique SOLUCIÓN
[ ( ∼q → ∼q ) → ( ∼p → ∼q ) ] → ∼( q ∧ p ) Como

A) p B) q C) ∼p v ∼q p ⊕ q ≡ (p → q) ∧ (q ∨ ∼p) ≡ (∼p ∨ q) ∧ (q ∨ ∼p)

D) ∼p v p E) p → q ≡ ∼p ∨ q
SOLUCIÓN Luego [(p ⊕ q) ⊕ (p ⊕ q )] ≡ (∼p ∨ q)⊕(∼p ∨ q)
[ ( ∼q → ∼q ) → ( ∼p → ∼q ) ] → ∼( q ∧ p ) ≡ ≡ ∼(∼p ∨ q) ∨ (∼p ∨ q) ≡ V ≡ p v ∼p CLAVE B
[ V → ( ∼p → ∼q ) ] → ∼( q ∧ p ) ≡
9. Dadas las siguientes equivalencias lógicas:
[ F ∨ ( ∼p → ∼q ) ] → ∼( q ∧ p ) ≡
p ∗ q≡∼p∧q y p©q≡ p∨q
[ F ∨ ( p ∨ ∼q ) ] → ∼( q ∧ p ) ≡ Simplifique
[ p ∨ ∼q ] → ∼( q ∧ p ) ≡ { q © [(p v (r ∗ s)) ∧ p] } → [(∼ p ∗ ∼ q) © ∼q]
∼ (p ∨ ∼q) ∨ ∼( q ∧ p ) ≡ A) ∼q B) p v ∼p C) p
(∼p ∧ q) ∨ (∼q ∨ ∼p) ≡ [(∼p ∧ q) ∨ ∼p] ∨ ∼q ≡ D) p ∧ ∼p E) ∼p

∼p ∨ ∼q SOLUCIÓN

7. De las siguientes proposiciones: {q © [(p v (r ∗ s)) ∧ p]} → [(∼p ∗ ∼q) © ∼q] ≡

I. ∼( q → p ) ∧ p II. ( p ∧ ∼q) → q {q © [(p v (∼r ∧ s)) ∧ p]} → [(p ∧∼ q) © ∼q] ≡
III. ( ∼p ∨ q ) ∧ ( q ∨ p ) IV. [q ∧ (∼q∨p)] → q
{q © p} → [(p ∧∼ q) © ∼q] ≡
¿Cuál(es) es (son) tautología(s)?
{q © p} → [(p ∧∼ q) © ∼q] ≡
A) II y IV B) Solo II C) Solo IV {q v p} → [(p ∧∼ q) v ∼q] ≡
D) I y III E) III y IV ∼{q v p} v [(p ∧∼ q) v ∼q] ≡ (∼q ∧ ∼p) v ∼q ≡ ∼q
SOLUCIÓN
I. ∼( q → p ) ∧ p ≡ ∼( ∼q ∨ p ) ∧ p ≡ 10. Se define un nuevo operador ( p  q )
( q ∧ ∼p ) ∧ p ≡ q ∧ (∼p ∧ p) ≡ q ∧ F ≡ F mediante la siguiente tabla
p q pq
II. ( p ∧ ∼q) → q ≡ ∼ (p ∧ ∼q) ∨ q ≡
V V V
(∼p ∨ q) ∨ q ≡ ∼p ∨ q
V F V
III. ( ∼p ∨ q ) ∧ ( q ∨ p ) ≡ q ∨ (∼p ∧ p ) ≡ q ∨ F F V F
F F V
IV. [q ∧ (∼q∨p)] → q ≡ (q ∧ p) → q ≡
∼(q ∧ p) ∨ q ≡ (∼q ∨ p) ∨ q ≡ (∼q ∨ q) ∨ p ≡ V Halle el valor de verdad de las siguientes
proposiciones respectivamente

I) [ ( ∼p  q )  ∼q ]  [ ( p  q )  ∼p ]
II) ( ∼q  p )  ∼( ∼p  ∼q )
CICLO 2018 - II 7 | Pág.
ARITMÉTICA TEORÍA Y EJERCICIOS DE CLASE Nº 01
III) ∼{[ ( p  ∼q )  q ] ∧ ∼q} 12.Halle la proposición equivalente al circuito
lógico
A) FVF B) VFF C) VFV
~p q
D) VVF E) FFF
SOLUCIÓN ~q
De la tabla se obtiene: p  q ≡ p ∨ ∼q ~p
~p
I) [(∼p  q)  ∼q]  [(p  q)  ∼p] ≡ q
[(∼p ∨ ∼q)  ∼q]  [(p ∨ ∼q)  ∼p] ≡
[(∼p ∨ ∼q) ∨ q]  [(p ∨ ∼q) ∨ p] ≡ A) ∼ p B) p v q C) p ∧ ∼ q

[(∼p ∨ ∼q) ∨ q] ∨ ∼[(p ∨ ∼q) ∨ p] ≡ D) ∼ p v q E) q ∨ ∼ p

[∼p ∨ (∼q ∨ q] ∨ ∼(p ∨ ∼q) ≡ SOLUCIÓN

[∼p ∨ V] ∨ (∼p ∧ q) ≡ V ∨ (∼p ∧ q) ≡ V Del circuito lógico:

(∼ p ∧ q) ∨ [∼p ∧ (∼q ∨ ∼p ∨ q)] ≡
II) (∼q  p)  ∼(∼p  ∼q) ≡
(∼ p ∧ q) ∨ ∼p ≡ ∼p CLAVE A
(∼q ∨ ∼p)  ∼(∼p ∨ q) ≡
(∼q ∨ ∼p) ∨ (∼p ∨ q) ≡ ∼p ∨ (q ∨ ∼q) ≡
∼p ∨ V ≡ V
III) ∼{[(p  ∼q)  q] ∨ ∼q} ≡
∼{[(p ∨ q)  q] ∨ ∼q} ≡
∼{[(p ∨ q) ∨ ∼q] ∨ ∼q} ≡
∼{[(p ∨ (q ∨ ∼q)] ∨ ∼q} ≡
∼{V ∨ ∼q} ≡ ∼{V} ≡ F
CLAVE D

11.Simplifique [∼ p → (p ∧ q)] ∧ [∼q → (q ∧ r)]

A) p ∧ q B) p v q C) p ∧ r

D) p v r E) q ∧ r

SOLUCIÓN
[∼ p → (p ∧ q)] ∧ [∼q → (q ∧ r)] ≡
(Ley condicional)
[p ∨ (p ∧ q)] ∧ [q ∨ (q ∧ r)] ≡
(ley de absorción)
p∧q

CICLO 2018 - II 8 | Pág.