Truth Assignment

A truth assignment is a possible outcome of a formula, and the variables necessary for said outcome.