7.

- Sean M y N las expresiones lógicas que representan a los circuitos a), b)

respectivamente. Si el costo de cada llave repercute en forma significativa en el costo
total del circuito. Halle el circuito lógico más económico correspondiente a N M

[(p˅ r) ˄ p ˄ q] v [{(p ˄ q) v r} ˄ (r v∼ q)]

[p ˄ q] ∨ [{(p ˄ q) ∨ r } ˄ (r ∨∼ q)]
[p ˄ q] ∨ [r ∨ (p ˄ q ∨∼ q)]
[p ˄ q] ∨ [r ∨ (p ˄ F)]
[p ˄ q] ∨ [r ˅ F]
(p ˄ q) ∨ r

(p ˅ q) ˄ [(r ˄ ∼ q) ∨ (q ∨∼ r)] ∨ [(∼ q ˄ q) ∨ (r ˄ q)]

(p ∨ q)  [(r ˄ ∼ q) ∨∼ (∼ q ˄ r)] ∨ [(∼ q ˄ q)∨ (r˄ q)]
[(p ∨ q) ˄ [V]] ∨ [F ∨ (r˄ q)]
[(p ∨ q) ∨ (r˄ q)]
[p ∨ q ∨ (r˄ q)]
p∨q
Halle el circuito lógico más económico correspondiente M→ N

[(p ˄ q) ∨ r ] = M
(p ∨ q) = N
(p ∨ q) → [(p ˄ q) ∨ r ]
∼ (p ∨ q) ∨ [(r ˄ q) ∨ r ]
(∼ p ˄ ∼ q) ∨ [(p ˄q) ∨ r ]
RPTA:

8.-Simplificar los circuitos siguientes:

 [(p ˄∼ q) ∨ (∼ p ∨ q)] ˄ [(q ˄ (∼q ∨∼ p)) ∨ (∼q ˄ p)]
˄ [(p ˄ q) ∨ (q ∨ (p ∨ q))]
[((p ˄∼ q) ∨∼ p) ∨ q] ˄ [(q ˄ ∼p) ∨ ((∼ q ˄ p)] ˄ [(p ˄ q) ∨ q]
[(∼q ∨ p) ∨q] ˄ [(q ˄ ∼p) ∨ (∼q ˄ p)] ˄ q
[(q ˄ q) U ∼ p] ˄ [(q ˄ ∼) ∨ (∼q ˄ p)] ˄ q
[V ∼ p] ˄ [(q ˄ p) ∨ (q ˄ p) ˄ p]
[((q ˄ p) ˄ q) U ((∼ q ˄ q) ˄ p)]
(q ˄ ∼ p) ∨ (F ˄ p)
(q ˄ ∼ p) ˄ F

[((p∨∼ q) ˄ (q ∨ p)) ∨ ((p ˄∼ q) ∨ (q ˄ p))] ˄ (p ∨ q)

[((∼ q) ˄ ∼ (p ˄∼ q)) ∨ (p ˄∼ q) ∨ (q ˄ p)] ˄ (p∨ q)

[(p ˄ q) ∨ (∼ p ˄ q) ∨ (p ˄ q)] ˄ (p ∨ q)
[(p ˄ q)] ˄ (p ∨ q)

13.-Demostrar mediante tablas de verdad, cuáles de las siguientes

proposiciones son: Tautologías, contradicciones o contingencias:

a) [∼ ( p ˄ q) → r ] ↔ [(p ˄ r ) ↓ q]
p q r p˄ q ∼ (p ˄ q ) [∼ ( p ˄ q ) p [( p ˄ r ) [∼ ( p ˄ q )
→ r] ˄r ↓ q] → r]
↔ [( p ˄F r) ↓ q]
V V V V F V V F FF
V V F V F V F F F
V F V F V V V F FF
V F F F V F F V FF
F V V F V V F F FF
F V F F V F F F VV
F F V F V V F V VV
F F F F V F F V FF

∴ CONTINGENCIA
b) [p ↔ (r →∼ p)] ∨ [(∼ q → p) ↔ r ]

p q r ∼p (r → [p ↔ (r ∼q ∼ q [(∼ q [p ↔ (r →∼ p)]
∼p ) →∼ p)] → p → p) V [(∼q → p) ↔ r ]
↔ r]
F
V V V F F F F F V V
V V F F V V F V F V
V F V F F F V V V V
V F F F V V V V F V
F V V V V F F V V V
F V F V V F F V F F
F F V V V F V F F F
F F F V V F V F V V

∴ CONTINGENCIA
c)[p → (q → r)] ↔ [(p → q) → (p → r)]
p q r [p → ( q p→q p→r [ ( p → q) [p → ( q → r) ]
q→ r → r) ] → ( p → r) ] ↔ [ ( p → q)
→ ( p → r) ]
V V V V V V V V VV
V V F F F V F F VV
V F V V V F V V VV
V F F V V F F V VV
F V V V V V V V VV
F V F F V V V V VV
F F V V V V V V VV
F F F V V V V V VV
∴ TAUTOLOGÍA
d)[ p ˄ (∼ q → p)] ˄ ∼ [(p ↔∼ q) → (q ∨∼ p)]
p q ∼q ∼p ∼q [p ˄ (∼ q p ↔ q∨ [(p ↔ [p ˄ (∼ q → p)] ˄
→ p)] ∼ q) ∼ [(p ↔∼ q)
→p ∼q ∼p
→ (q ∨ → (q ∨∼ p)]
∼ p)]
V V F F V V F V V FF
V F V F V V V F F VV
F V F V V F V V V FF
F F V V F F F V V FF
∴ CONTINGENCIA

e)( p ↔ q ) ↔ [(∼ p ∨ q) ˄ (q → p)]

p q ∼p p↔q ∼p q [(∼ p ∨ q) ˄ (q (p ↔ q) ↔ [(∼ p ∨
∨q →p → p )] q ) ˄ ( q → p )]
V V F V V V V V V
V F F F F V F V V
F V V F V F F V V
F F V V V V V V V
∴ TAUTOLOGÍA
 f)〈 q → [∼ p → (∼ p →∼ q)]〉 ∼ (p ˄ q)
q p ∼q ∼p ∼p p ∼ (p ∼p 〈q 〈q
→ ˄q ˄ q) → (∼p → [∼ p → [∼ p → (∼ p →
∼q →∼ q) → (∼ p → ∼ q ) ]〉 ∼ ( p ˄ q )
∼ q ) ]〉
V V F F V V F V V FF
V F F V V F V V V VV
F V V F F F V V V VV
F F V V V F V V V VV

∴ CONTINGENCIA

15.-Si la proposición: (r → s) → (p → q) es Falsa entonces de las siguientes

proposiciones, demostrar su valor de verdad:

(r → s) → ( p → q)
V F

r = V ; s = V ; p = V ; q1 = F
a) (∼ q ˄ ∼ r) ∨ (∼ s ˄ (p ∨ q))
(∼ F ˄ ∼ V) ∨ (∼ V ˄ (V ∨ F))
(V ˄ F) ∨ (F ˄ V)
F ∨F
F

b) (∼ q →∼ s) → (∼ q → s)
(∼ F →∼ V) → (∼ F → V)
(V → F) → (V → V)
F →V
V
c) ∼ [(∼ p ∨∼ q)] → (r ∨∼ s)
∼ [∼ V →∼ F] → (V ∨∼ V)
∼ [F ∨ V] → (V ∨ F)
∼ [V ] → V
F →V
V

17.- Si p, q, r, s, t, w son proposiciones tales que: a) ( p ˄ ~ r) (s → w) es

verdadero, b) (~ w → ~ s) es Falso. Halle el valor de verdad de las siguientes
proposiciones:

i) (p ˄ q) ∨ r ∨ s
ii) (s ↔ ~ w) (r∨ ~ p)
 iii) [t → (w∨ ~ p)] ˄ ~ (p → r)
Resolución:

b) (~ w → ~ s)
V→F
F
w=F y s=V

a) (p ˄ ~ r) (s → w)
V→F
F↔F
V

i) (p ˄ q) ∨ r [t → (w∨ ~ p)] ˄ ~ (p →r) s

(p ˄ q) ∨ (r ∨ V)

ii) (s ↔ ~ w) (r∨ ~ p)
(V ↔~ F) → V
(V ↔ V) →V
V↔V
V

iii) [t → (w∨ ~ p)] ˄ ~ (p → r)

[t → ~ p)] ˄ ~ (p ∨ r)
[~t → ~ p)] ˄ (p ˄ → r) (~ t ∨ ~ p) ˄ F

19.-En los siguientes enunciados demostrar que la conclusión es

consecuencia de las premisas.

a) Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio
partir el coche de Andrés. SI Andrés dice la verdad, entonces Juan no vio
partir el coche de Andrés o Andrés dice la verdad o estaba en el edificio en
el momento del crimen. El reloj está adelantado. Por tanto, Andrés estaba
en el edificio en el momento del crimen.

Solución:
p: El reloj está adelantado
q: Juan llegó antes de las diez
r: Vio partir el coche de Andrés
s: Andrés dice la verdad

t: Estaba en el edificio en el momento del crimen

1. p → (q ˄ r)
2. S→∼r

3. s ∨ t

4. p

5. q ˄ r

6. q
7. r
8. ∼s
9. t

b) Si A ganó la carrera, entonces o B fue el segundo o C fue el segundo. Si

B fue el segundo, entonces A no ganó la carrera. Si D fue el segundo,
entonces C no fue el segundo. A ganó la carrera. Entonces, D no fue el
segundo.

Solución:
p: A ganó la carrera
q: B fue el segundo
r: C fue el segundo
s: D fue el segundo
1. p → (q v r)
2. q → ∼ p
3. s → ∼r = r → ∼s
4. p
5. q v r
6. ∼ p v ∼s
7. ∼ p
8. ∼s
c) Si Juan es más alto que Pedro, entonces María es más baja que Juana.
María no es más baja que Juana. Si Juan y Luís tienen la misma estatura,
entonces Juan es más alto que Pedro. Por tanto, Juan y Luís no tienen la
misma estatura.

Solución:

p=Juan es más alto que Pedro

q=María es más baja que

Juana
r=Juan y Luis tienen la misma estatura
1. P→q
2. q→r
3. PP
4. r
d) Si esta es una sociedad matriarcal, entonces el hermano de la madre es el
 cabeza de familia. Si el hermano de la madre es el cabeza de familia,
entonces el padre no tiene autoridad. Esta es una sociedad matriarcal. Por
tanto, el padre no tiene autoridad.

Solución:
p=Si esta es una sociedad matriarcal
q= el hermano de la madre es el cabeza de familia
r= el padre no tiene autoridad
1. p→ q ∴ Nrp → q

2. ∼q ∼q

3. R →Pr →P

4. ∼P∼P

5. ∼r

20.- Dar una demostración formal de cada uno de los razonamientos

siguientes, usando las leyes de la inferencia lógica:

g) Demostrar que: ∼ t

(t → p ˄ s) ˄ (q →∼ p) ˄ (r →∼ s) ˄ (r ˄ q)
1. t → p ˄ s
2. q →∼ p
3. r →∼ s
4. r ˄ q
5. ∼ s ∨∼ p … 2,3 SD
6. ∼ (s ˄ p) … 5 Morgan
7. ∼ t … 1,6 MP

h) Demostrar que: r & q

(p ∨ q) ˄ (s → q ˄ r) ˄ (p → s) ˄ (q → s)
1. p ∨ q
2. s → q ˄ r
3. p → s
4. q → s
5. (p ∨ q) → s … 3,4 prueba por casos
6. s … 1,5 MP

7. q ˄ r … 2,6 MP