Definition:Formal Semantics of Boolean Interpretations