2013-02-15 13 views
93

मैं पुराने कोड को दोबारा कर रहा था और कई आईएफ स्थितियों का सामना करना पड़ा जो कि बहुत जटिल और लंबे थे और मुझे यकीन है कि उन्हें सरल बनाया जा सकता है। मेरा अनुमान है कि बाद में संशोधनों के कारण उन स्थितियों में इतनी वृद्धि हुई है।कोई भी अच्छी बुलियन अभिव्यक्ति सरलीकृत है?

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

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

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

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

धन्यवाद।

+0

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

+0

एक अच्छा ऑनलाइन उपकरण है - http://tma.main.jp/logic/index_en.html –

उत्तर

81

आप इस उदाहरण आपके इनपुट के आधार के रूप में Wolfram Alpha कोशिश कर सकते हैं:

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

+2

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

+1

दरअसल। अजीब। यह सरलीकृत संस्करण पर भी नहीं है 'नहीं सी और नहीं ए या नहीं बी और नहीं सी और नहीं डी और नहीं बी और नहीं सी और डी और ए या बी और सी और नहीं डी और नहीं ए या बी और सी और डी और ए'। –

+2

ध्यान दें कि यदि आप सत्य तालिका चाहते हैं, जिसे हमेशा कुछ अभिव्यक्तियों के लिए आउटपुट नहीं किया जाता है, तो अभिव्यक्ति – Belgi

14

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

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

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

+2

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

5

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

लॉजिक शुक्रवार में अभिव्यक्ति A | B केवल सत्य तालिका में 3 प्रविष्टियां लौटाती है; मुझे उम्मीद थी 4.

+3

अभिव्यक्ति के बाद "सत्य तालिका" शब्दों के साथ क्वेरी प्रारंभ करें, तर्क को शुक्रवार 1 में "सत्यटेबल/सभी पंक्तियां दिखाएं" विकल्प सक्रिय करें। अन्यथा , आपको केवल आउटपुट मान 1 के साथ सभी पंक्तियां मिलती हैं। –

+1

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

+2

"ए \ * बी \ * (! ए \ * बी +! ए \ *! बी) के लिए इनपुट" यह जार एसओपी गलत है लेकिन पीओएस सच है। बिल्कुल विश्वसनीय स्क्रिप्ट नहीं ... – Evil

संबंधित मुद्दे