((A→B)↔(¬A∨B)) के लिए सत्य सारणी

बस अपना तार्किक व्यंजक कैलकुलेटर के इनपुट में लिखें और गणना पर क्लिक करें। सत्य सारणी अपने आप बन जाएगी और चरों के मानों के सभी संभव संयोजन तथा आपके व्यंजक का संगत परिणाम दिखाएगी।

चर वर्णक्रम में सूचीबद्ध होते हैं, और पंक्तियाँ 'सब असत्य' से शुरू होकर सभी निर्धारण गिनती हैं, जिसमें पहला चर सबसे तेज़ बदलता है — इसलिए अंतिम पंक्ति वही है जहाँ हर चर सत्य है। पाठ्यपुस्तकें यहाँ अलग-अलग चलती हैं; कई 'सब सत्य' से शुरू करती हैं, इसलिए पंक्तियों का क्रम आपके नोट्स से भिन्न दिख सकता है, जबकि सारणी बिलकुल वही बात कहती है।

भिन्न चरों की संख्या के घात पर दो: तीन चरों से आठ पंक्तियाँ, चार से सोलह, दस से 1,024। हर नया चर सारणी को दोगुना कर देता है, इसीलिए लंबे सूत्र को हर पंक्ति पढ़ने के बजाय उसके गुणों और समतुल्य रूपों से आँकना आमतौर पर आसान होता है।

हाँ। सत्य सारणी पर मौजूद संकेतन-स्विच ⊤ और ⊥ चिह्नों तथा 1 और 0 अंकों के बीच बदलता है, और आपका चयन इस ब्राउज़र में अगली बार के लिए याद रखा जाता है।

अंतिम स्तंभ देखिए। यदि हर पंक्ति सत्य है तो सूत्र पुनरुक्ति है; यदि हर पंक्ति असत्य है तो वह विरोध है; यदि स्तंभ में दोनों हैं तो वह आकस्मिक है। एक भी पंक्ति सत्य होते ही वह संतुष्ट-योग्य है। कैलकुलेटर यह सब सारणी के ऊपर बता देता है, इसलिए यह स्तंभ निर्णय निकालने से अधिक उसे जाँचने का साधन है।