Question

Mostre que a bicondicional p ↔ q pode ser dada em função dos conectivos ∧, ∨ e ¬.

Answer 1

p ↔ q ⇔ (p→q) ∧ (q→p)
p→q ⇔ ¬p ∨ q
q→p ⇔ ¬q ∨ p

logo, p ↔ q ⇔ (¬p ∨ q) ∧ (¬q ∨ p)