TALLER DE LÓGICA PROPOSICIONAL

1. Sean p = "Luis lee la Prensa ", q = "Luis lee el Mundo" y r = " Luis lee el Universal". Escriba
cada una de las siguientes proposiciones en forma simbólica.

a.) Luis lee la Prensa o el Mundo, pero no el Universal.

b.) Luis lee la Prensa y el Mundo, pero no lee la Prensa y el Universal.

c.) No es cierto que Luis lee la Prensa pero no el Universal.

d.) No es cierto que Luis lee el Universal o el Mundo pero no la Prensa.

Solución.

a) (p ⋁ q) ⟶∼ r
b) (p ⋀ q ) ⟶ ~(p ⋀ r)
c) ~(p ⟶ ~r)
d) ~( r ⋁ q)⟶~p

2. Para las siguientes expresiones: construya los respectivos árboles, las tablas de verdad y
determine si son tautologías, contradicciones o contingencias.

a) [(~p ^ q) → (p V ~r)] ↔ ~ (p → r)

ES UNA CONTINGENCIA

→ ~


⋁
^

p r
~ q p ~

p r
TABLA DE LA VERDAD

p q r ~P (~p ^ q) ~r (p V ~r) [(~p ^ q) → (p V ~r)] (p → r) ~ (p → r) [(~p ^ q) → (p V ~r)] ↔ ~ (p → r)

F F F V F V V V V F F
F F V V F F F V V F F
F V F V V V V V V F F
F V V V V F F F V F V
V F F F F V V V F V V
V F V F F F V V V F F
V V F F F V V V F V V
V V V F F F V V V F F

b) [(~p<->r) <- (p V s)] ⌅(p⊻~r)

← ⊻


↔ ⋁

p ~
~ r p s

p r

Tabla de Verdad

p r s ~P ~p↔r (pVs) [(~p<->r)  (p V s)] ~r (p⊻~r) [(~p<->r) <- (p V s)] ⌅(p⊻~r)

F F F V F F F V F V
F F V V F V V V F V
F V F V V F V F V F
F V V V V V V F V F
V F F F V V V V F V
V F V F V V V V F V
V V F F F V V F F V
V V V F F V V F F V

c) [(~p↔r) <-/- (p ∨ ~s)]∧ ~(~p∧~r)

 ∧

<-/- ⊻

~
∧ ⋁ ~

~ p ~
p
r

p r
s

Tabla de la verdad

p r s ~p (~p↔r) ~s (p ∨ ~s) [(~p↔r) ↚ (p ∨ ~s)] ~r (~p∧~r) ~(~p∧~r) [(~p↔r) <-/- (p ∨ ~s)]∧ ~(~p∧~r)

F F F V F V V V V V F F
F F V V F F F F V V F F
F V F V V V V F F F V F
F V V V V F F F F F V F
V F F F V V V F V F V F
V F V F V F V F V F V F
V V F F F V V V F F V V
V V V F F F V V F F V V

3. Reduzca los siguientes polinomios a formas normales disyuntiva y conjuntiva:

a) (~p→q) ↚ (p∨r)

p q r ~p (~p→q) (p∨r) (~p→q) ↚ (p∨r)

1 F F F V F F F
F F V V F V V
2 F V F V V F F
3 F V V V V V F
4 V F F F V V F
5 V F V F V V F
6 V V F F V V F
7 V V V F V V F
FNC= (pVqVr)∧(pV~qVr)∧(pV~qV~r)∧(~pVqVr)∧(~pVqV~r)∧(~pV~qVr)∧(~pV~qV~r)
 FND = (~p ∧ ~q ∧ r)

b) [(~p←r)→(p∨s)] ↮ ~(p∧q)

p q r s ~p (~p←r) (p∨s) [(~p←r)→(p∨s)] (p∧q) ~(p∧q) [(~p←r)→(p∨s)] ↮ ~(p∧q)

F F F F V V F F F V V
F F F V V V V V F V F
F F V F V V F F F V V
F F V V V V V V F V F
F V F F V V F F F V V
F V F V V V V V F V F
F V V F V V F F F V V
F V V V V V V V F V F
V F F F F V V V F V F
V F F V F V V V F V F
V F V F F F V V F V F
V F V V F F V V F V F
V V F F F V V V V F V
V V F V F V V V V F V
V V V F F F V V V F V
V V V V F F V V V F V

FNC= (p V q V r V ~s)˄(p V q V ~r V ~s)˄(p V ~q V r V ~s)˄(p V ~q V ~r V ~s)˄(~p V q V r V s)˄(~p

V q V r V ~s)˄(~p V q V ~r V s)˄(~p V q V ~r V ~s)

FND= (~p ^ ~q ^ ~r ^ ~s)˅(~p ^ ~q ^ r ^ ~s)˅(~p ^ q ^ ~r ^ ~s)˅(~p ^ q ^ r ^ ~s)(p ^ q ^ ~r ^

~s)˅(p ^ q ^ ~r ^ s)˅(p ^ q ^ r ^ ~s)˅(p ^ q ^ r ^ s)

c) [(~p⟷r)⟷(p⊻ s)] ⌅ (~p⟷~r)

p r s ~p (~p⟷r) (p⊻ s) [(~p⟷r)⟷(p⊻ s)] ~r (~p⟷~r) [(~p⟷r)⟷(p⊻ s)] ⌅ (~p⟷~r)

F F F V F V F V V V
F F V V F F V V V F
F V F V V V V F F V
F V V V V F F F F V
V F F F V F F V F V
V F V F V F F V F V
V V F F F F V F V F
V V V F F F V F V F

FNC= (pVrV~s)˄(~pV~rVs)˄(~pV~rV~s)
FND = (~p^~q^~r)˅(~p^q^~r)˅(~p^q^r)˅(p^~q^~r)˅(p^~q^r)

4. De acuerdo a las respectivas salidas determine la forma normal apropiada (conjuntiva o

disyuntiva), y reduzca el polinomio a su más mínima expresión, con las reglas de reducción
apropiadas:
 p q r S1 S2 S3 S4
FFF F V F V
FFV F F V V
FVF V V V V
FVV F F V F
VFF F V F F
VFV V V V F
VVF F F F F
VVV F F V F
S1=FND = (~p^q^~r) ˅(p^~q^r)

S2=FND = (~p^~q^~r) ˅ (~p^q^~r) ˅ (p^~q^~r) ˅ (p^~q^r)

= ~p ˅ (~q^~r) ˅ (q ^~r) ˅(p^~q) ˅(~r^r)

= ~p [(~q ^ q) ^~r] ˅(p^~q) ˅F

=~p ˅ F ^~r ˅(p^~q) ˅ F

= (~p ˅~r) ˅(p ^~q)

=~(p^r) ˅(p↛q)

S3= FNC= (p ˅q ˅r)^(~p ˅ q˅r)^(~p ˅~q ˅r)

=[(q˅r) ˅(~p^p)] ^(~p ˅~q ˅r)

=[(q˅r) ˅F] ^(~p ˅~q ˅r)

=(q˅r)^ (~p ˅~q ˅r)
=r˅[~p˅ (q^~q)]
= r˅[~p˅ V]
= r˅~q
=r⟵q
S4=FND = (~p^~q^~r) ˅ (~p^~q^r) ˅ (~p^q^~r)
= [(~p^~q) ˅(r ˅~r)] ˅(~p^q^~r)
= [(~p^~q) ˅F] ˅(~p^q^~r)
= (~p^~q) ˅(~p^q^~r)
=~p ^(~q ˅q) ˅~r
=~p^F ˅~r
=~p ˅~r
=~(p^q)

5. Dadas las respectivas premisas, establezca la inferencia lógica apropiada mediante el uso
de las reglas de inferencia:

a.) p ⟶ ~r Premisa 1 b.) p ⟶ ~ (q v s) Premisa 1 c.) (p v q) Premisa 1

r ⟶ q Premisa 2 p Premisa 2 ~r Premisa 2
p Premisa 3 t ⟶ (q v s) Premisa 3 q ⟶ r Premisa 3
r⟶t Premisa 4
 a) p⟶~r
p
∴ ~r

b) p ⟶ ~ (q v s)
p
∴ ~( q v s)

c) p⟶~r
^~r
∴P

6. Escriba los siguientes polinomios lógicos en su equivalente Booleano:

a) [(p^q) ⟶(p⊻~r)]⟷~(~p^~r)
[(A⋅B)⟶ (A⨁ )]⊙(A ⋅ C)

b) [(A⊙B)⋅(A+C)] ⟶(A+B)

TALLER DE ALGEBRA BOOLEANA

1. Simplificar las siguientes expresiones Booleanas y dibuje los respectivos circuitos

equivalentes.

a. [A(1+B⋅C)+A⋅B](A+B+C)
A[B(A+C)](A+B+C)
A⋅B(A+C)[(A+C)+B]
(A+C)(A⋅B+B)
(A+C⋅B)

b. (A+B)⋅(A+C)⋅(B+C)