Truth assignment
Redirect to:
Interpretation (logic)