Definition:Truth Value under Boolean Interpretation