falsifying_valuation (264B)
1 # Falsifying valuation 2 3 A [Boolean_valuation] such that a [Boolean_function] [evaluates] to [false] 4 5 Up: [Boolean_valuation] 6 7 See also: [satisfiability_boolean], [satisfying_valuation] 8 9 Aliases: falsifying valuations, falsifying assignment, falsifying assignments