3
तार्किक अभिव्यक्ति को सामान्य रूप में परिवर्तित करें
लक्ष्य: एक संपूर्ण कार्यक्रम या फ़ंक्शन लिखें जो प्रस्तावक तर्क में एक सूत्र लेता है (इसलिए तार्किक अभिव्यक्ति या अभिव्यक्ति के रूप में संदर्भित ) और उस सूत्र को सामान्य सामान्य रूप में आउटपुट करता है । दो स्थिरांक हैं, ⊤और ⊥सच्चे और झूठे, एक एकल ऑपरेटर का प्रतिनिधित्व ¬निषेध …