Documentos de Académico
Documentos de Profesional
Documentos de Cultura
EPN-DEPARTAMENTO DE ELECTRÓNICA,
2
TELECOMUNICACIONES Y REDES
I. Resolución del ejercicio 38 del capitulo 2 sección 2.
Algunos lenguajes de programación utilizan enunciados de la forma “𝒓 a menos que 𝒔”
significa que mientras 𝑠 no suceda, entonces 𝑟 ocurrirá. Mas formalmente
Definición: Si 𝑟 y 𝑠 son enunciados.
𝑟 a menos que 𝑠 significa que si ~𝑠 entonces 𝑟.
- Reescriba el enunciado en la forma si – entonces.
Ann irá a menos que llueva.
Tenemos los enunciados
- 𝑙𝑙 = que llueva y 𝑠 = Ann salga
EPN-DEPARTAMENTO DE ELECTRÓNICA,
4
TELECOMUNICACIONES Y REDES
II. Resolución del ejercicio 50 del capítulo 2 sección 2.
Así pues, tenemos
𝑝→ 𝑞→𝑟 ↔ 𝑝 ∧ 𝑞 → 𝑟 ≡ ~𝑝 ∨ ~𝑞 ∨ 𝑟 ↔ ~𝑝 ∨ ~𝑞 ∨ 𝑟
Ahora usamos la equivalencia 𝒑 ↔ 𝒒 ≡ ∼ 𝒑 ∨ 𝒒 ∧ ∼ 𝒒 ∨ 𝒑 , por lo cual tenemos
~𝑝 ∨ ~𝑞 ∨ 𝑟 ↔ ~𝑝 ∨ ~𝑞 ∨ 𝑟 ≡
≡ ~ ~𝑝 ∨ ~𝑞 ∨ 𝑟 ∨ ~𝑝 ∨ ~𝑞 ∨ 𝑟 ∧ ~ ~𝑝 ∨ ~𝑞 ∨ 𝑟 ∨ ~𝑝 ∨ ~𝑞 ∨ 𝑟
≡ 𝑝 ∧ ~ ~𝑞 ∨ 𝑟 ∨ ~𝑝 ∨ ~𝑞 ∨ 𝑟 ∧ ~ ~𝑝 ∨ ~𝑞 ∧ ~𝑟 ∨ ~𝑝 ∨ ~𝑞 ∨ 𝑟
≡ 𝑝 ∧ 𝑞 ∧ ~𝑟 ∨ ~𝑝 ∨ ~𝑞 ∨ 𝑟 ∧ 𝑝 ∧ 𝑞 ∧ ~𝑟 ∨ ~𝑝 ∨ ~𝑞 ∨ 𝑟
≡ 𝑝 ∧ 𝑞 ∧ ~𝑟 ∨ ~𝑝 ∨ (~𝑞 ∨ 𝑟 ∧ 𝑝 ∧ 𝑞 ∧ ~𝑟 ∨ ~𝑝 ∨ ~𝑞 ∨ 𝑟
≡ 𝑝 ∧ 𝑞 ∧ ~𝑟 ∨ ~𝑝 ∨ ~𝑞 ∨ 𝑟
EPN-DEPARTAMENTO DE ELECTRÓNICA,
5
TELECOMUNICACIONES Y REDES
II. Resolución del ejercicio 50 del capítulo 2 sección 2.
Así, finalmente tenemos sin utilizar el símbolo → o ↔.
𝒑 → 𝒒 → 𝒓 ↔ 𝒑 ∧ 𝒒 → 𝒓 ≡ 𝒑 ∧ 𝒒 ∧ ~𝒓 ∨ ~𝒑 ∨ ~𝒒 ∨ 𝒓
b) Utiliza la equivalencia lógica 𝒑 ∨ 𝒒 ≡ ~(~𝒑 ∧ ~𝒒) para reescribir cada
forma de enunciado usando solamente ∧ y ~.
Tenemos la equivalencia lógica 𝒑 ∨ 𝒒 ≡ ~(~𝒑 ∧ ~𝒒), entonces
𝑝 → 𝑞 → 𝑟 ↔ 𝑝 ∧ 𝑞 → 𝑟 ≡ 𝑝 ∧ 𝑞 ∧ ~𝑟 ∨ ~𝑝 ∨ ~𝑞 ∨ 𝑟
≡ 𝑝 ∧ 𝑞 ∧ ~𝑟 ∨ ~𝑝 ∨ ~ 𝑞 ∧ ~𝑟
≡ 𝑝 ∧ 𝑞 ∧ ~𝑟 ∨ ~ 𝑝 ∧ 𝑞 ∧ ~𝑟
≡ ~ ~ 𝑝 ∧ 𝑞 ∧ ~𝑟 ∧ 𝑝 ∧ 𝑞 ∧ ~𝑟
Así usando solamente ∧ y ~, tenemos.
𝒑→ 𝒒→𝒓 ↔ 𝒑 ∧ 𝒒 → 𝒓 ≡ ~ ~ 𝒑 ∧ 𝒒 ∧ ~𝒓 ∧ 𝒑 ∧ 𝒒 ∧ ~𝒓
EPN-DEPARTAMENTO DE ELECTRÓNICA,
6
TELECOMUNICACIONES Y REDES
Gracias
EPN-DEPARTAMENTO DE ELECTRÓNICA,
7
TELECOMUNICACIONES Y REDES