Given an encoding α of a boolean circuit α, inputs x₁, ... , x_n and a designated output y, the problem of deciding if output y of α is true on input x₁, ... , x_n.