इसलिए, लॉजिक मशीन बनाने के लिए आपके पास जो कुछ है, वह प्रतिस्थापन के नियमों के एक सेट के आक्षेप के नियमों का एक सेट है और आपको पूछना है कि इस नियम में से एक को चुनना है और जब तक आप जिस फार्मूले की तलाश कर रहे हैं वह उत्पन्न होने तक नए फार्मूले बनाते रहें।