satisfying_valuation (214B)
1 # Satisfying valuation 2 3 [Boolean_valuation] such that a [Boolean_function] [evaluates] to [true] 4 5 Up: [boolean_valuation] 6 7 Aliases: satisfying assignment, satisfying assignments 8 9 See also: [satisfiability_boolean]