लॉजिक कैलकुलेटर

कैलकुलेटर सभी मानक तार्किक संकारकों का समर्थन करता है: NOT (¬, !), AND (&, ∧), OR (|, ∨), IMPLIES (→, ->) और BICONDITIONAL (↔, <->)। इनका उपयोग करके आप जटिल तार्किक व्यंजक बना सकते हैं।

टाइप करने की ज़रूरत नहीं। हर चिह्न का एक ASCII रूप है जिसे कैलकुलेटर समझता है: ∧ के लिए &, ∨ के लिए |, ¬ के लिए ! या ~, → के लिए -> और ↔ के लिए <->। अचर ⊤ और ⊥ को true और false, या T और F लिखा जा सकता है। यदि आपको चिह्न ही चाहिए, तो इनपुट के नीचे मौजूद संकारक कीबोर्ड उन्हें आपके लिए जोड़ देता है।

हाँ! दो व्यंजकों को '==' से अलग करके समतुल्यता जाँच सुविधा का उपयोग करें और देखें कि वे तार्किक रूप से समतुल्य हैं या नहीं। कैलकुलेटर उनकी सत्य सारणियों की तुलना करके समतुल्यता की पुष्टि करता है।

हाँ। पूर्वाधारों को अल्पविराम से अलग लिखें, फिर निगमन-चिह्न, और उसके बाद निष्कर्ष — जैसे 'p, p -> q ⊨ q'। निगमन-चिह्न को |= या |- भी टाइप किया जा सकता है। कैलकुलेटर बताता है कि निष्कर्ष निकलता है या नहीं, कौन-से पूर्वाधार वास्तव में आवश्यक हैं, क्या सभी पूर्वाधार एक साथ सत्य हो सकते हैं, और यदि तर्क विफल हो तो ऐसे प्रतिमान दिखाता है जिनमें हर पूर्वाधार सत्य और निष्कर्ष असत्य होता है।

संतुष्ट-योग्य व्यंजक वह है जिसे सत्य-मानों के कम से कम एक निर्धारण में सत्य बनाया जा सके। वैध व्यंजक (पुनरुक्ति) सभी संभव निर्धारणों में सत्य होता है। कैलकुलेटर आपके व्यंजकों के लिए दोनों गुण स्वतः जाँचता है।