1.

Para cada una de las siguientes expresiones, determine si son o no

lógicamente equivalentes mediante tablas de verdad. (1pto)

1a) 𝑷∨ (𝑸∧𝑹) ≡ (𝑷∨𝑸) ∧𝑹->NO SON LOGICAMENTE EQUIVALENTES

P Q R Q∧R P∨Q P ∨(Q ∧R) (P ∨Q) ∧ R

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

1b) 𝑷∨ (𝑸∧𝑹) ≡ (𝑷∨𝑸) ∧ (𝑷∨𝑹) ->SI SON LOGICAMENTE EQUIVALENTES

P Q R Q∧R P∨Q P∨R P V (Q ∧R) (P ∨Q) ∧ (P ∨R)

V V V V V V V V
V V F F V V V V
V F V F V V V V
V F F F V V V V
F V V V V V V V
F V F F V F F F
F F V F F V F F
F F F F F F F F
2. Para las siguientes formas de enunciado, determine mediante tablas de
verdad, si alguna de ellas es una tautología o una contradicción. (1pto)
1a) (P^Q) v (∼P v (P^∼Q))
P Q ∼P ∼Q (P^Q) (P^∼Q) (∼P v(P^∼Q) (P^Q)v(∼P v(P^∼Q))
V V F F V F F V
V F F V F V V V
F V V F F F V V
F F V V F F V V

(P^∼Q) v (∼P v (P^∼Q))=es una tautología

2b) (P^∼Q) ^ (∼P v Q)
P Q ∼P ∼Q (P^∼Q) (∼P v Q) (P^∼Q)v(∼P v Q)
V V F F F V F
V F F V V F F
F V V F F V F
F F V V F V F

(P^∼Q) ^ (∼P v Q)= CONTRACCION

2C) ((∼𝑷∧𝑸) ∧ (𝑸∧𝑹)) ∧∼𝑸 ->CONTRADICCION

P Q R ~P ~Q ~P∧Q Q∧R ((~P ∧ Q) ∧ (Q ∧ R)) ((∼P∧ Q) ∧ (Q ∧ R))

∧∼ Q
V V V F F F V F F
V V F F F F F F F
V F V F V F F F F
V F F F V F F F F
F V V V F V V V F
F V F V F V F F F
F F V V V F F F F
F F F V V F F F F
2D) (∼𝑷∨𝑸) ∨ (𝑷∧∼𝑸) ->TAUTOLOGIA

P Q ~P ~Q (∼𝑷∨𝑸) (𝑷∧∼𝑸) (∼𝑷∨𝑸) ∨ (𝑷∧∼𝑸)

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

Para cada uno de las siguientes expresiones, determine si son o no

lógicamente equivalentes mediante las leyes del algebra de Boole.
(1pto)
3A) (𝑷∧∼𝑸) ∨ (𝑷∧𝑸) ≡ 𝑷

𝑷∧ (∼𝑸∨𝑸) ≡ 𝑷 LEY DE DISCTRIBUCION

𝑷∧ T ≡ 𝑷 LEY DE NEGACION

SI ES LOGICAMENTE EQUIVALENTE
3B) (𝑷∨∼𝑸) ∧ (∼𝑷∨∼𝑸) ≡∼𝑸

∼𝑸∨ (𝑷∧∼𝑷) ≡∼𝑸 LEY DISTRIBUTIVA

SI ES LOGICAMENTE EQUIVALENTE
3C) (∼𝑷∧∼𝑸) ∨𝑷 ≡ 𝑷∧∼𝑸

(𝑷∨∼𝑷)∧ (𝑷∨∼𝑸) ≡𝑷∧∼𝑸 LEY DE DISTRIBUCION

T∧ (𝑷∨∼𝑸)≡ 𝑷∧∼𝑸 LEY DE NEGACION

NO ES LOGICAMENTE EQUIVALENTE

3D) 𝑷∧ (∼𝑸∨𝑷) ≡ 𝑷∧∼𝑸

NO ES LOGICAMENTE EQUIVALENTE
Computación

Rodrigo Cabello

Edgardo Manuel