Equivalence of Definitions of Semantic Equivalence for Boolean Interpretations

Theorem
Let $\mathbf A, \mathbf B$ be WFFs of propositional logic.

The following definitions of semantic equivalence for boolean interpretations of $\mathbf A$ and $\mathbf B$ are equivalent: