Indicar si las siguientes fórmulas son lógicamente equivalentes
• A ↔ B ⇔ (A → B) ^ (B → A)
• A ↔ B ⇔ (B → A) v (A → B)
. • A → B ⇔ A ↔ (A ^ B)
• A → B ⇔ B ↔(A ^ B )