Definition:Semantic Equivalence (Boolean Interpretations)