DEPARTAMENTO DE

MATEMÁTICA

Matemática Discreta I

EJERCICIOS

Justifique cada paso según las leyes correspondientes.

1)
(𝑝 ∧∼ 𝑞) ∨ (∼ 𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞) _________________________________
(𝑝 ∧∼ 𝑞) ∨ [(∼ 𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞)] _________________________________
(𝑝 ∧∼ 𝑞) ∨ [∼ 𝑝 ∧ (𝑞 ∨∼ 𝑞)] __________________________________
(𝑝 ∧∼ 𝑞) ∨ (∼ 𝑝 ∧ 𝑇) _________________________________
(𝑝 ∧∼ 𝑞) ∨∼ 𝑝 _________________________________
(𝑝 ∨∼ 𝑝) ∧ (∼ 𝑞 ∨∼ 𝑝) _________________________________
𝑇 ∧ (∼ 𝑞 ∨∼ 𝑝) _________________________________
∼ 𝑞 ∨∼ 𝑝 _________________________________
∼ (𝑞 ∧ 𝑝) _________________________________

2)
(𝑝 ∨ 𝑟) ∨ (𝑝 ∨∼ 𝑟) ∨ (𝑝 ∨ 𝑠)
[(𝑝 ∨ 𝑟) ∨ (𝑝 ∨∼ 𝑟)] ∨ (𝑝 ∨ 𝑠)
(𝑝 ∨ 𝑟 ∨∼ 𝑟 ∨ 𝑝) ∨ (𝑝 ∨ 𝑠)
(𝑝 ∨ (𝑟 ∨∼ 𝑟) ∨ 𝑝) ∨ (𝑝 ∨ 𝑠)
(𝑝 ∨ 𝑇 ∨ 𝑝) ∨ (𝑝 ∨ 𝑠)
(𝑇 ∨ 𝑝) ∨ (𝑝 ∨ 𝑠)
𝑇 ∨ (𝑝 ∨ 𝑠)
T
__________________________________
__________________________________
__________________________________
__________________________________
__________________________________
__________________________________
__________________________________

3)
[(∼ 𝑝 ∨ 𝑞) ∧ (∼ 𝑞 ∨∼ 𝑝)] ↔ 𝑝 __________________________________
[∼ 𝑝 ∨ (𝑞 ∧∼ 𝑞)] ↔ 𝑝 __________________________________
(∼ 𝑝 ∨ 𝐹) ↔ 𝑝 __________________________________
∼𝑝↔𝑝 __________________________________
(∼ 𝑝 ∧ 𝑝) ∨ (∼ (∼ 𝑝) ∧∼ 𝑝) __________________________________
𝐹 ∨ (𝑝 ∧∼ 𝑝) __________________________________
F __________________________________