8) DETERMINE EL VALOR DE “X” PARA QUE LOS SIQUIENTES PROPOSICIONES SEA

A) 2+6=8→✕+1=5=V

V x=4 V

B) 2-2=1 →X-3=5 =v

F X=8^x x=8

c) x-2=3 → X+10 = -x=V

Demostrar ~ [P∧~ (Q)]= P→Q

~ p ∨ q= p → q

P→q=p→q

F f p=f

(p ∨ ~q) V (~t ∧ s) = f q=v

A) [(~p→(~t ∧ s)]} →[(~t ∨ s ) →q)] →(~p)

(v → f) →[(~t ∨ s ) →v)] →v

B) (p Δ (t ∨ ~s) ↓( t ∨ ~s)
f Δ ~(~t ∧ s) ↓ ~(~ t ∧ s) p → v= v
F F
(f Δ v) ↓ v
v↓v
F

9) demostrar
(p ∧ (~q)] = p → q
~p ∨ q= p → q
P → q= p → q

10) los valores de variedad de los prodidades p,q,r,s son vffv

[(p ∨ q) ∧ r) ∧ s
[(v ∨ f) ∧ f) ∧ v (
v ∧ f) ∧ v
f∧ v
f

C) r→(s ∨ p)
v→(v ∨ v)
v→v
v
 D) (p ∨ r)↔(r ∨ ~s)
(v ∨ f) ↔ (f ∨ f)
v↔F
F
E) (q↓~s) Δ (~p → ~r)
~(q ∧ ~s) Δ (~p → ~r)
~(f ∧ f ) Δ (f → v )
vΔv
F

F ) (~r) Δ (q ↔ ~p)
v Δ ( f ↔ f)
vΔv
f
F) p ∧ ~ (q ↔ ~p)
v ∧ ~(f ↔ v)
v ∧ ~ (f)
v∧v
v

P ↓q ≡ ~p^~q

a) Tabla de verdad de P ↓q
1 2 3 4 5
p q (-p) (-q) (-p)^(-q)
V V F F F
V F F V F
F V V F F
F F V V V

b) Leyes de Morgan en términos de ↓

 1) ~(pvq) ≡ ~p ^ ~q
≡ {P ↓q}

2) ~(p^q) ≡ ~[ p ^ q]
≡ ~[ ~(~p) ^ ~(~q)]

≡ ~[ (~p) ↓ (~q)]

c) Simplifique (~ (p↓q)↔ (pvq)

(~ (p↓q))↔ (pvq) ≡ (~ (-p^-q) )↔ (pvq)

≡ (pvq) ↔ (pvq)
≡ [ (pvq) →(pvq) ] ^ [ (pvq) →(pvq) ]
≡ [ ~ (pvq) v(pvq) ] ^ [ ~ (pvq) v(pvq)]

≡ (V) ^ (V)

≡ V

d) Simplifique (p ↓q) ↓ ( q ↓p)

(p ↓q) ↓ ( q ↓p) ≡ (~p ^~q) ↓ ( ~q ^~p)

≡ ~ (~p ^~q) ^ ~ ( ~q ^~p)

≡ ( p vq) ^ (qvp)

≡ ( p vq) ^ (pvq)

≡ pvq

e) Halle f(p ↓q)

f(p ↓q) ≡ f(~p^~q)
≡ f(~p^~q)

Tabla de verdad
1 2 3 4 5
p q ~p ~q (~p^~q)
V V F F F
V F F V F
F V V F F
F F V V V

Por lo tanto(de acuerdo a la tabla)

1 , si ~p≡v; ~q≡v
f(~p^~q) =
0, si cualquier otro caso

1 , si ~p≡v; ~q≡v
f (p ↓q) =
0, si cualquier otro caso
30

simplifique
{[(~q) →(~p)]→[(~p)→(~q)]} ∧~(p∧q)

{[q∧~p] → [p∧~q]} ∧~ (p∧q)]

(~q∨p) ∧(p∧~q)∧(p~∧∨q)

p∧~q ∧ (~p∧∨)

= p∧~q

31

P*Q =[(p (~p∧q)] ∧[(~p∧q) →p)] ∧p

=[(p∨~(~p∧q)] ∧[(~p∧q) ∨ ~p)]∨p

= [(p∨ (p∨q)]∧~p]∧p

=[(p∨~q) ∧~p] ∧p

=[ ~p∧~q] ∧p

=~p∧p∧~q

=f∧~q
=f

32

(~p ∧ ~q) ∧ p ∧ ~q

(~p ∧ ~q) ∧ p ∧ ~q
f f f f v f f
f v v v v v v
v v f f f f f
v v v f f f v

(p ∧ ~q) ∨ (~p ∧ q)

(p ∧ ~q) ∨ (~p ∧ q)
v f f f f f v
v v v v f f f
f f f v v v v
f f v f v f f

INTEGRANTES

Quispe Yupanqui Emerson

Jolinho Yaranga Quispe

Ninasaume Quispe Nilber Erick