Logic Calculator के बारे में

यह क्या है?

यह एक तर्क कैलकुलेटर है जो प्रस्तावित तर्क और बूलियन तर्क का समर्थन करता है। यह विश्लेषण, विज़ुअलाइज़ेशन और गणना उपकरण प्रदान करके छात्रों और पेशेवरों को तार्किक अभिव्यक्तियों के साथ काम करने में मदद करता है।

विशेषताएँ

• प्रस्तावित तर्क अभिव्यक्तियों को डिकोड और विज़ुअलाइज़ करें
• नकारात्मकता, निहितार्थ, संयोजन, विघटन और द्विशर्त के लिए समर्थन
• जांचें कि अभिव्यक्तियाँ संतोषजनक और वैध हैं या नहीं
• व्यापक सत्य तालिका बनाएं
• दृश्य अभिव्यक्ति वृक्ष उत्पन्न करें
• वैकल्पिक समतुल्य सूत्रीकरण प्रदान करें

निर्माता

यह कैलकुलेटर Jonathan Søholm-Boesen द्वारा तर्क और कंप्यूटर विज्ञान का अध्ययन करने वाले छात्रों के लिए एक शैक्षिक उपकरण के रूप में बनाया गया था।

द्वारा बनाए रखा गया

Logic Calculator वर्तमान में Infobits ApS द्वारा बनाए रखा और विकसित किया जा रहा है, जो गोपनीयता-अनुकूल उत्पाद बनाने वाली एक सॉफ़्टवेयर विकास कंपनी है।

शैक्षिक उद्देश्य

यह उपकरण छात्रों को प्रस्तावित तर्क को समझने में मदद करने के लिए एक शैक्षिक संसाधन के रूप में है। हालांकि इसे मूल रूप से ऑरहस विश्वविद्यालय में गणनीयता और तर्क पाठ्यक्रम के लिए बनाया गया था, यह विश्वविद्यालय से आधिकारिक रूप से जुड़ा नहीं है।