किसी भी अच्छा बूलियन अभिव्यक्ति वहाँ बाहर सरलीकृत? [बन्द है]


110

मैं पुराने कोड को पुन: सक्रिय कर रहा था और कई IF स्थितियों का सामना कर रहा था जो कि बहुत जटिल और लंबी थीं और मुझे यकीन है कि उन्हें सरल बनाया जा सकता है। मेरा अनुमान है कि बाद की संशोधनों के कारण वे परिस्थितियाँ बहुत बढ़ गईं।

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

((ए या बी) और (! बी एंड सी) या सी)

और मुझे अभिव्यक्ति का एक सरलीकृत संस्करण दें, यदि कोई हो।

मैंने अन्य समान प्रश्नों पर ध्यान दिया है, लेकिन कोई भी मुझे एक अच्छे सरलीकरण की ओर इशारा नहीं करता है।

धन्यवाद।


1
वोल्फ्रामअल्फा सी में भी आता है । कोई अतिरिक्त द्वार नहीं ...
एक्सल केम्पर

1
एक अच्छा ऑनलाइन टूल है - tma.main.jp/logic/index_en.html
रोमन होके

एक अन्य उपकरण बूलियन- balbra.com है जो इसे हल करने के लिए चरणों को दिखाएगा। उदाहरण के लिए, आपका केवल अवशोषण कानून ए + एबी = ए के साथ हल किया जा सकता है। यह बहुत उन्नत नहीं है, यदि आपको न्यूनतम फॉर्म के अलावा किसी और चीज की आवश्यकता है तो आप बेहतर तरीके से किसी अन्य साइट का उपयोग करते हैं।
जॉन स्मिथ

जवाबों:


93

आप अपने इनपुट के आधार पर वुल्फराम अल्फा को इस उदाहरण में आज़मा सकते हैं:

http://www.wolframalpha.com/input/?i=((A%20OR%20B)%20AND%20(NOT%20B%20AND%20C)%20OR%20C)&t=crmtb01&f=rc


3
जब वे थोड़े अधिक जटिल हो जाते हैं तो वेबसाइट बूलियन फॉर्मूला को सरल बनाने के लिए अच्छा नहीं लगता। इसे आज़माइए: ((((C (नहीं) C) और (या (B नहीं) और (नहीं C) और (D नहीं) और (नहीं () नहीं) ((नहीं B) और (नहीं C) और D और A) OR (B और C AND (NOT D) AND (NOT A)) या (B और C और D और A))
अल्बर्ट हेंड्रिक्स

1
वास्तव में। अजीब। यह सरलीकृत संस्करण में भी बारफॉर्म्स करता है NOT C AND NOT A OR NOT B AND NOT C AND NOT D AND NOT A OR NOT B AND NOT C AND D AND A OR B AND C AND NOT D AND NOT A OR B AND C AND D AND A
500 - आंतरिक सर्वर त्रुटि

2
ध्यान दें कि यदि आप सत्य तालिका चाहते हैं, जो हमेशा कुछ अभिव्यक्तियों के लिए आउटपुट नहीं होती है, तो अभिव्यक्ति के बाद "सत्य तालिका" शब्दों के साथ क्वेरी शुरू करें
बेल्गी

16

कोशिश करें कि Logic Friday 1इसमें कैलिफोर्निया की एस्पिरिटी (एस्प्रेसो और मिसआईआई) के उपकरण शामिल हैं और उन्हें जीयूआई के साथ प्रयोग करने योग्य बनाता है। आप वांछित के रूप में बूलियन समीकरणों और सत्य तालिकाओं में प्रवेश कर सकते हैं। इसमें एक ग्राफिकल गेट आरेख इनपुट और आउटपुट भी है।

न्यूनतमकरण को दो-स्तरीय या बहु-स्तरीय किया जा सकता है। दो-स्तरीय रूप से उत्पादों की एक न्यूनतम राशि प्राप्त होती है। बहु-स्तरीय रूप तार्किक द्वार से बना एक सर्किट बनाता है। उपयोगकर्ता द्वारा फाटकों के प्रकार को प्रतिबंधित किया जा सकता है।

आपकी अभिव्यक्ति सरल है C


2
एक त्वरित ऑनलाइन टूल के लिए यह वास्तव में सहायक है: tma.main.jp/logic/index_en.html
होयट

6

मैंने पाया कि द बूलियन एक्सप्रेशन रेड्यूसर लॉजिक फ्राइडे की तुलना में उपयोग करना बहुत आसान है। साथ ही इसे इंस्टॉलेशन की आवश्यकता नहीं है और यह मल्टी-प्लेटफॉर्म (जावा) है।

इसके अलावा तर्क शुक्रवार में अभिव्यक्ति A | Bसिर्फ सत्य तालिका में 3 प्रविष्टियाँ लौटाता है; मुझे उम्मीद थी ४।


3
तर्क 1 में विकल्प "ट्रूथटेबल / शो ऑल रेज़" को सक्रिय करें। अन्यथा, आपको केवल आउटपुट वैल्यू वाली सभी पंक्तियाँ मिलेंगी
एक्सल केम्पर

1
आंतरिक रूप से, bexpred सरल एल्गोरिदम का उपयोग कर रहा है जो कि माइन्टर्म्स को मर्ज करता है। यह छोटे भावों के लिए सहायक हो सकता है लेकिन निश्चित रूप से अत्याधुनिक नहीं है।
एक्सल केम्पर

2
"ए * बी * (!! ए * बी +! ए *! बी)" के लिए यह जार एसओपी गलत लेकिन पीओएस ट्रू रिटर्न देता है। बिल्कुल विश्वसनीय स्क्रिप्ट नहीं ...
ईविल

लिंक टूट गया है, जिसके पास काम करने वाला लिंक है?
HJLebbink
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.