सत्य सारणी जनरेटर

सत्य सारणी कैसे बनाएँ

1. ऊपर दिए खाने में अपना सूत्र लिखिए - जैसे (A & B) -> C। यदि चिह्न टाइप नहीं करना चाहते तो ऑपरेटर कीबोर्ड उन्हें जोड़ देता है।
2. जनरेटर सूत्र से चर पहचानता है और उनके मानों के हर संयोजन के लिए एक पंक्ति बनाता है: n चरों से 2ⁿ पंक्तियाँ बनती हैं, हमेशा एक ही क्रम में, ताकि दो सारणियों की पंक्ति-दर-पंक्ति तुलना हो सके।
3. अंतिम स्तंभ पढ़िए: वही हर स्थिति में पूरे सूत्र का मान है। पुनरुक्ति हर पंक्ति में सत्य होती है, विरोधाभास किसी में नहीं, और जो इनके बीच है वह आकस्मिक है।
4. सारणी को Markdown, CSV या LaTeX में निर्यात कीजिए, या साझा लिंक कॉपी कीजिए: सूत्र URL में ही रहता है, इसलिए सारणी बाद में फिर खोली जा सकती है या किसी और को दी जा सकती है।

पूर्ण कैलकुलेटर इसमें क्या जोड़ता है

• सूत्र पुनरुक्ति है, विरोधाभास है, आकस्मिक है या केवल संतुष्टिकरणीय।
• समतुल्य रूप: बीजगणितीय नियमों से पुनर्लेखन, साथ ही सारणी से सीधे पढ़े गए DNF और CNF।
• दो से चार चरों के लिए कर्नो मानचित्र, समूहों को घेरकर और न्यूनतम रूप लिखकर।
• व्यंजक वृक्ष, और वही सूत्र तर्क गेट परिपथ के रूप में बनाया हुआ।
• तर्कवाक्य और समतुल्यता भी: p, p → q ⊨ q तर्क की जाँच करता है और गलत होने पर प्रतिमॉडल देता है।

एक हल किया उदाहरण

((A∧B)→C) की सारणी, ठीक वैसी जैसी जनरेटर बनाता है: तीन चर, इसलिए आठ पंक्तियाँ, जिसमें पहले संयोजन का मान निकाला जाता है और उसी से प्रतिबंध पढ़ा जाता है।

मूल संकारकों की सत्य सारणियाँ

जनरेटर जो भी सारणी बनाता है वह इन्हीं पाँच से बनी होती है, उसी क्रम में लागू जो सूत्र के कोष्ठक और संकारक-प्राथमिकता तय करते हैं।

सारणी में कितनी पंक्तियाँ होंगी?

सत्य मानों के हर संयोजन के लिए एक पंक्ति, इसलिए n भिन्न चरों वाले सूत्र में 2ⁿ पंक्तियाँ होती हैं। हर नया चर सारणी को दोगुना कर देता है।

पहले से बनी सत्य सारणियाँ

जिन सूत्रों की सारणी सबसे अधिक चाहिए होती है, वे पहले से बनी हैं और हर एक का अपना लिंक है।