formula_value_problem (284B)
1 # Formula value problem 2 3 Given a [Boolean_formula] with Boolean values for the variables, decide if it evaluates to [true] 4 5 It is [NC1_complete] 6 7 See also: [circuit_value_problem], [tree_evaluation_problem], [formula_satisfiability_problem] 8 9 Up: [decision_problem], [boolean_formula]