Property of a logical variable to be true or false.
Example
The truth value of the conjunction of the propositions P and Q, which is P ∧ Q, is true when P is true and Q is true.
The truth value of the conjunction of the propositions P and Q, which is P ∧ Q, is true when P is true and Q is true.