A computational problem whose

all instance have the output either “yes” or “no”,

so a Boolean value.

---

• Representation