Definition:Partial Boolean Interpretation of Formula