Definition:Semantic Equivalence for Boolean Interpretations