Definition:Boolean Interpretation of Formula