Workshop

i) [(p ≡ q)] ≡ [(p ∧ q) ∨ (¬p ∧ ¬q)]

(A) [(p ∨ ¬p) ∧ (¬p ∨ q)] ∧ [(q ∨ ¬q) ∧ (¬q ∨ p)](Distributividad ∨ sobre ∧)

(B) [((p ∧ q) ∨ ¬p) ∧ ((p ∧ q) ∨ ¬q) (Distributividad ∨ sobre ∧)

(C) (p ≡ q) (Definición ≡)

(D) (p ⇒ q) ∧ (q ⇒ p) (Definición ⇒)

(E) [true ∧ (¬p ∨ q)] ∧ [true ∧ (¬q ∨ p)] (Tautologı́a (medio excluido))

(F) (¬p ∨ q) ∧ (¬q ∨ p) (Identidad ∧)