मुझे पूरा यकीन है कि मैं अपने कॉलेज स्तर के पाठ्यक्रमों में से किसी एक में ऐसा कुछ याद कर सकता हूं और इसमें कुछ प्रकार का सूत्र था, लेकिन मेरा दिमाग उससे परे मुझे असफल रहा है।लॉजिकल स्टेटमेंट को कैसे कम करें?
बयान को देखते हुए: (ए या बी या घ) और (एक या ग)
मैं बहुत यकीन है कि यह करने के लिए कम किया जा सकता हूँ: (ए या बी या डी या ग)
लेकिन मुझे याद नहीं है कि मैं इसे साबित करने के बारे में कैसे जाऊंगा।
शायद यह तर्क तालिकाओं की एक श्रृंखला थी?
आप "(ए या बी या डी) और (ए या सी)" से "(ए या बी या डी या सी)" को कम नहीं कर सकते हैं क्योंकि पूर्व "सी = सत्य, ए, बी, डी = झूठा ", जबकि उत्तरार्द्ध है। तो आप या तो कमी को सही साबित नहीं कर सकते हैं :)
सामान्य रूप से, आकार में बूलियन सूत्रों को कम करने के कई तरीके हैं, और यह भी एक सवाल है कि आप अनुकूलित करना चाहते हैं (कुल आकार? औसत स्थिति की औसत संख्या मूल्यांकन?)। कर्णघ मानचित्र केवल कुछ ही चर के लिए काम करते हैं। छोटे बूलियन सूत्रों को छोटे में कम करना एक उन्नत विषय है जो कि उदाहरण में महत्वपूर्ण है। स्वचालित तार्किक सर्किट डिजाइन।
Karnaugh maps? तर्क अभिव्यक्ति में कमी?
कर्णघ मानचित्र, कुंजी सभी संभावित इनपुट "ड्रा" करना और उनके आउटपुट को इंगित करना है। फिर आप इनपुट को फ़िल्टर करना शुरू कर सकते हैं जो आउटपुट में कोई फर्क नहीं पड़ता है जिससे नक्शा कम हो जाता है। एक बार इसे अनुकूलित करने के बाद आप इसके तर्क से इसका उत्पादन कर सकते हैं।
http://en.wikipedia.org/wiki/Karnaugh_map
आप एक तरह से उपरोक्त समीकरणों से रिवर्स में इसे बनाने की है, लेकिन यह आपको बताने के लिए एक अच्छा उपकरण है अगर यह कम किया जा सकता होगी:
एक कार्नो प्रतिचित्र यहां अपने दोस्त है आगे की।
(ए या बी या घ) और (एक या ग)
इसका मतलब यह है जब एक सच है, सब कुछ सच है!
=> एक या {(ख या घ) और (ग)}
=> एक या (ख और ग) या (घ और सी)
मुझे लगता है कि परिणाम (ए या बी या डी या सी) गलत है, लेकिन जब यह गलत है तो मुझे हाथ दें।
हां, आप इसे साबित कर सकते हैं। आप इसे कम नहीं कर सकते (ए या बी या डी या सी)
नीचे दी गई तीसरी पंक्ति को देखें। आपकी कमी उचित उत्तर उत्पन्न करने में विफल रहेगी।
बस इसे माध्यम से चलाने:
ए बी सी डी
0 0 0 0 = 0
0 0 0 1 = 0
0 0 1 0 = 0
।
।
।
1 0 0 0 = 1
1 0 0 1 = 1
अब तक मुझे मिल गया है (ए या (???)) :(
एक या {(ख या घ) और सी}
तर्क:। हैं "एक", तो वाक्य सही है और कुछ , आप ख या घ जब मामलों के लिए और ग (संतुष्ट दूसरी छमाही (बयान के पहले भाग को पूरा करने के) की जरूरत है!
Karnaugh maps का उपयोग करना:
इस ए या बी या डी है:
\ab
cd\ 00 01 11 10
---+-----------+
00 | | X| X| X|
01 | X| X| X| X|
11 | X| X| X| X|
10 | | X| X| X|
+-----------+
यह एक या सी है:
\ab
cd\ 00 01 11 10
---+-----------+
00 | | | X| X|
01 | | | X| X|
11 | X| X| X| X|
10 | X| X| X| X|
+-----------+
उन्हें पारस्परिक, हम पाते हैं:
\ab
cd\ 00 01 11 10
---+-----------+
00 | | | X| X|
01 | | | X| X|
11 | X| X| X| X|
10 | | X| X| X|
+-----------+
जाहिर है, यह एक है या (कुछ), जहां (कुछ) है:
00 01
11 | X| X|
10 | | X|
चूंकि (कुछ) एक आयताकार नहीं है, इसलिए इसके लिए दो अभिव्यक्तियों की आवश्यकता होती है, जिसे हम या तो एक साथ या ओआरड किया जा सकता है, इस पर निर्भर करता है कि हम इसे कैसे प्राप्त करना चाहते हैं। हम इस उदाहरण में या उपयोग करेंगे, क्योंकि यह एक सरल अभिव्यक्ति देता है।
इस मामले में, हम सीडी लाइन को भरने के लिए दो एक्स के साथ दो एक्स के साथ एक दूसरे के आगे समूह कर सकते हैं, इसलिए सीडी अभिव्यक्तियों में से एक हो सकता है। हम दोनों को एक दूसरे के शीर्ष पर एक वर्ग बनाने के अपने अधिकार के साथ समूहबद्ध कर सकते हैं। यह वर्ग अभिव्यक्ति बीसी का प्रतिनिधित्व करता है, क्योंकि दोनों ए और डी वर्ग के भीतर भिन्न होते हैं।
तो अंतिम अभिव्यक्ति एक या ((सी और डी) या (ख और घ)), या एक + सीडी + bd है। बहुत अच्छा, है ना?
एसओपी न्यूनतम प्रपत्र:
y = a | b&c | c&d;
पीओएस (तर्क आरेख को लागू करने के फाटकों की संख्या) एक ही कीमत है:
y = (a|c)&(a|b|d);
अच्छा! +1 – Learning
तो क्या उनके प्रोग्राम ऐसा करने के लिए उपलब्ध हैं? – Dave
चेकआउट उदा। http://babbage.cs.qc.edu/courses/Minimize/ –