E1 E2 E1 ⊘ E2 ¬E1 ¬E2 ¬E1 ∧ ¬E2 (E1 ⊘ E2) ≡ (¬E1 ∧ ¬E2)

F F V V V V v
F V F V F F v
V F F F V F V
v v F F F F V

a)

¬ p ≡  (p ⊘ p)
<Lemma tablas de verdad E1 ⊘ E2>

¬ p ≡¬ p
b)

¿ ∧ q) ≡ ((p ⊘ p) ⊘ (q ⊘ q))
<Lemma (E1 ⊘ E2) ≡ (¬E1 ∧ ¬E2)>

( ¬ p ∧¬ p ) ⊘(¬q ∧ ¬q)
<de Morgan x2>

¬( p ∨ p) ⊘ ¬(q ∨ q)
<Lemma (E1 ⊘ E2) ≡ (¬E1 ∧ ¬E2) , Def ¬¬ >

( p ∨ p ) ∧(q ∨q)
<Idempotencia>

p∧ q
c)

¬((p ⊘ p) ⊘ (q ⊘ q))