Boolean valuation
Redirect to:
Interpretation (logic)#Interpretations for propositional logic