Definition:Boolean Interpretation of Set of Formulas