2 Equivalencia Lógica y Leyes Lógicas
12. Demostrar que.
(a) (p v q) ∧ (p v q) ≡ p
(p v q) ∧ ( ⌐q v q) ≡ p
p ∧ V ≡ p
p ≡ p
(b) (⌐p ∧ r) ∧ (⌐p ∧ ⌐r) ≡ ⌐p
(⌐p ∧ ⌐p) v (r ∧ ⌐r) ≡ ⌐p
⌐p v F ≡ ⌐p
⌐p ≡ ⌐p
(c) [(p v r) → q] ∧ [(⌐p ∧ ⌐r)v ⌐q] ≡ ⌐p ∧ ⌐r
[⌐ (p v r) v q] ∧ [(⌐p ∧ ⌐r)v ⌐q] ≡ ⌐p ∧ ⌐r
(⌐p ∧ ⌐r) ∧ q ∧ (⌐p ∧ ⌐r)v ⌐q) ≡ ⌐p ∧ ⌐r
(⌐p ∧ ⌐r) ∧ V ≡ ⌐p ∧ ⌐r
⌐p ∧ ⌐r ≡ ⌐p ∧ ⌐r
(d) (p v q) v ⌐q ≡ T
