Logic Calculator

इस एप्लिकेशन के साथ, आप कर सकते हैं:

- सत्यापित करें कि क्या वर्णों का अनुक्रम एक सुव्यवस्थित सूत्र (WFF) है;
- नॉर्मल पोलिश नोटेशन (NPN) प्राप्त करें - यानी, एक उपसर्ग संकेतन - प्रस्तावक तर्क सूत्रों का;
- रिवर्स पोलिश नोटेशन (RPN), अर्थात्, एक उपसर्ग संकेतन - प्रस्तावक तर्क सूत्रों का प्राप्त करें;
- प्रस्तावक तर्क सूत्रों के उप-सूत्रों को प्राप्त करें;
- एक अप्रभावी सामान्य रूप (DNF) और एक सामान्य सामान्य रूप (CNF) प्रस्तावक तर्क सूत्रों के सूत्र प्राप्त करें;
- प्रपोजल लॉजिक फॉर्मूलों के लिए ट्रुथ टेबल जेनरेट करें;
- प्रस्ताव प्रतीकों को सत्य मान असाइन करें और प्रस्तावक तर्क सूत्रों की व्याख्या प्राप्त करें।

इसके अलावा, आप तार्किक संयोजकों के लिए विभिन्न पूर्ववर्ती आदेश चुन सकते हैं।