satisfying_valuation (240B)
1 # Satisfying valuation 2 3 A [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], [falsifying_valuation]