INSTITUTO DE EDUCACIÓN SUPERIOR TECNOLÓGICO PÚBLICO

MANUEL SEOANE CORRALES

Área Académica: Química Industrial

Semestre: I
Turno: Noche
Unidad didáctica: Lógica y Funciones
Práctica Calificada N.° 5
Tema: Equivalencia de esquemas moleculares
Docente: Héctor Callata
Alumna:
Campoverde Camacho, Ana Gloria

Lima, 29 de junio del 2020

 Práctica calificada N.° 5

e) p ^ p≡ [(p v p) ↔ p]

p ^ ≡ [(p v p) ↔ p]
p
V F F F V V V V V
F F V F F F F V F
Son equivalentes.

f) {p ^ [p v (p ^ q)]} v q ≡ q

p q {p ^ [p v (p ^ q)]} v q ≡ q
V V V F F V V V V V V
V F V F F V V F F F F
F V F F V F F F V V V
F F F F V F F F F F F
Son equivalentes.

g) p → [(p ^ q) ^ p] ≡ p ^ q

p q p → [(p ^ q) ^ p] ≡ p ^ q
V V V V V V V V
V F V F F F V F
F V F V F F F F
F F F V F F F F
No son equivalentes.

h) (p ^ q) v (q ^ p) ≡ (p v q) ^ (p ^ q)

p q (p ^ v (q ^ ≡ (p v q) ^ (p ^ q)
q) p)
V V V F F F V F F V F F V
V F V V V V F F F V V V F
F V F F F V V V V V V V F
F F F F V F F F V F F V F
Son equivalentes.

i) (p ^ q) ≡ (p v q) ^ p

p q (p ^ q) ≡ (p v q) ^ p
V V V V V V
V F F V V V
F V F V F F
F F F F F F
No son equivalentes.
 j) [(p v p) ^ q] v (q v p) ≡ q

p q [(p v p) ^ q] v (q v p) ≡ q
V V V V V V V V V V V V
V F V V V F F V F V V F
F V F F F F V V V V F V
F F F F F F F F F F F F
No son equivalentes.

k) (p ^ q) ≡ ( p v q)

p q (p ^ ≡ ¿p v q)
q)
V V V F F F F V V
V F V V V V F F F
F V F F F F V V V
F F F F V F V V F
Son equivalentes.

l) [p → ( p ^ q)] ^ r ≡ (r → p)

p q r [p → ( ^ q)] ^ r ≡ (r → p)

p
V V V V F F F V F V F V V V
V V F V F F F V F F F F V V
V F V V F F F F F V F V V V
V F F V F F F F F F F F V V
F V V F V V V V V V V V F F
F V F F V V V V F F F F V F
F F V F V V F F V V V V F F
F F F F V V F F F F F F V F
Son equivalentes.

m) p → (q v r) ≡ (p v q) → r

p q r p → (q v r)] ≡ (p v q) → r
V V V V V V V V V V V V V
V V F V V V V F V V V F F
V F V V V F V V V V F V V
V F F V F F F F V V F F F
F V V F V V V V F V V V V
F V F F V V V F F V V F F
F F V F V F V V F F F V V
F F F F V F F F F F F V F
No son equivalentes.
 n) (p v q) ^ r≡ p v (q ^ r)

p q r (p v q) ^ ≡ v (q ^ r)
r p
V V V V V V F F F V V V V
V V F V V V V V F F V F F
V F V V V F F F F F F F V
V F F V V F V V F F F F F
F V V F V V F F V V V V V
F V F F V V V V V V V F F
F F V F F F F F V V F F V
F F F F F F F V V V F F F
No son equivalentes.

o) p v (q ^ r) ≡ ( pv q) ^ r

p q r p v (q ^ r) ≡ ¿p v ^ r
q)
V V V V V V V V F F F F V
V V F V V V F F F F F F F
V F V V V F F V F V V V V
V F F V V F F F F V V F F
F V V F V V V V V V F V V
F V F F F V F F V V F F F
F F V F F F F V V V V V V
F F F F F F F F V V V F F
No son equivalentes.