तो, यह एक संतोषजनक सूत्र है, जो कहता है कि क्या आप सभी बूलियन चर के लिए मान पा सकते हैं, जैसे कि समग्र सूत्र इसका सही मूल्यांकन करता है और जाहिर है कि आप देख सकते हैं कि यह एक तरह की खोज समस्या है जिसे आप कुछ कह सकते हैं जैसे आप शुरू करते हैं।