समारोह, कानून र उदाहरण: तार्किक अभिव्यक्ति कसरी सरल बनाउन

आज हामी तार्किक अभिव्यक्ति सरल बनाउन सँगै सिक्न हुनेछ, हामी आधारभूत नियमहरू थाह प्राप्त र तर्क कार्यहरु को सत्य तालिका केलाउनुहोस्।

किन यो विषय सुरु गर्न। के तपाईं कहिल्यै कसरी कुरा गर्न पाएका छौं? कृपया याद गर्नुहोस् कि हाम्रो बोली र कार्यहरू सधैं तर्क को व्यवस्था गर्न विषय छन्। कुनै पनि घटना को नतिजा थाहा र फन्दामा हुँदैन क्रममा, तर्क को सरल र स्पष्ट व्यवस्था सिक्न। तिनीहरूले तपाईं मात्र कम्प्युटर विज्ञान मा एक राम्रो ग्रेड प्राप्त वा एकीकृत राज्य परीक्षा मा थप बल प्राप्त गर्न, तर वास्तविक जीवनमा परिस्थितिमा कार्य गर्न अनियमित मदत गर्नेछ।

अपरेसन

तर्क अभिव्यक्ति कसरी सरल बनाउन सिक्न, तपाईं जान्नु आवश्यक:

• के सुविधाहरू बुल बीजगणित गर्छ;
• कमी र रूपान्तरण व्यवस्था अभिव्यक्ति;
• सञ्चालनका क्रममा।

अब हामी ठूलो विस्तार यी मुद्दाहरू हेर्न। गरेको सञ्चालनहरू सुरु गरौँ। तिनीहरूले सम्झना राम्रो सजिलो छन्।

1. हामी तार्किक गुणन याद पहिलो कुरा, साहित्य मा यो एक संयोजन सञ्चालन भनिन्छ। अवस्था अभिव्यक्ति को रूप मा लेखिएको छ भने, सञ्चालन एउटा उल्टा निशान, गुणन चिन्ह, वा "र" द्वारा संकेत गर्नुभयो।
2. अर्को सबैभन्दा धेरै प्रयोग कार्यहरु - तार्किक साथै वा disjunction। उनको चिन्ह निशान वा प्लस साइन।
3. एक धेरै महत्त्वपूर्ण सुविधा negation वा उल्टाउने छ। सम्झना कसरी रूसी भाषा पृथक उपसर्ग मा। चित्रात्मक, को उल्टाउने अभिव्यक्ति अघि उपसर्ग, वा यो माथिको तेर्सो रेखा संकेत छ।
4. तार्किक परिणाम (वा implication) को छानबिन को मूल्य एक तीर द्वारा संकेत गर्नुभयो। हामी रूसी भाषा को दृश्य को बिन्दु बाट सञ्चालन विचार भने, यो वाक्य संरचना को प्रकार पारस्परिक: "यदि ... त्यसपछि ..."।
5. अर्को दुई-तरिका तीर द्वारा denoted छ जो equivalence छ। रूसी मा, निम्नानुसार सञ्चालन छ: "मात्र भने"।
6. Sheffer स्ट्रोक को ठाडो पट्टी दुई अभिव्यक्ति छुट्याउँछ।
7. पियर्स तीर, त्यस्तै Sheffer स्ट्रोक, साझा अभिव्यक्ति ठाडो तीर तल देखाउने।

negation, गुणन, अतिरिक्त, फलस्वरूप, equivalence: सञ्चालनहरू सख्त अनुक्रम मा प्रदर्शन हुनु पर्छ टिप्पणीमा निश्चित गर्नुहोस्। अपरेसन "Sheffer स्ट्रोक" र "तार्किक न त" को लागि प्राथमिकता कुनै नियम छ। तसर्थ, तिनीहरूले एक जटिल अभिव्यक्ति खडा जसमा क्रममा प्रदर्शन गर्न आवश्यक छ।

सत्य तालिका

को बुल अभिव्यक्ति सरल र सत्य तालिका बनाउनु यसको थप निर्णय आधारभूत सञ्चालन को टेबल को ज्ञान बिना असम्भव छ लागि। अब हामीले तिनीहरूलाई भेट्न प्रस्ताव। मान या त साँचो वा झूटो मूल्य लाग्न सक्छ भनेर याद गर्नुहोस्।

निम्नानुसार तालिका को संयोजनमा लागि हो:

तालिका disjunction कार्यका लागि:

negation:

फलतः:

equivalence:

बारकोड Schiffer:

पियर्स तीर:

कानुनको सरलता

कसरी कम्प्युटर विज्ञान मा तर्क अभिव्यक्ति सरल बनाउन को प्रश्न मा, हामीलाई तर्क को सरल र स्पष्ट व्यवस्था जवाफ पाउन मदत गर्नेछ।

गरेको अन्तर्विरोध को सरल व्यवस्था सुरु गरौँ। हामी विपरीत अवधारणाहरु (एक र प्राधिकरणले) गुणा भने, त्यसपछि हामी झूट प्राप्त। विपरीत अवधारणाहरु को वाहेक को मामला मा, हामी सत्य प्राप्त, कानून "को बहिष्कृत मध्य को व्यवस्था" भनिएको छ। अक्सर बुल बीजगणित त्यहाँ एक डबल negation (छैन प्राधिकरणले) संग अभिव्यक्ति हो, त्यसपछि हामी पनि डे मोर्गन को व्यवस्था दुई छन् जवाफ ए प्राप्त:

• हामी तार्किक साथै को negation छ भने, हामी उल्टाउने (छैन (एक बी) = * Nea Neuve) सँग दुई अभिव्यक्ति को गुणन प्राप्त;
• यस्तै कार्यहरू, र दोस्रो व्यवस्था, हामी गुणन इन्कार खाए, हामी उल्टाउने दुई मान थप्न प्राप्त।

धेरै बारम्बार दोहराव, एउटै मूल्य (एक वा बी) गठन वा सँगै गुणन। यस मामला मा, पुनरावृत्ति को व्यवस्था (= एक * एक + B वा = बी)। त्यहाँ नियम तथा अधिग्रहण हो:

• A + (एक * बी) = एक;
• एक * (A + ख) =;
• एक * (HEA बी) एक * बी =

त्यहाँ दुई सम्बन्ध गाँसिसकेको व्यवस्था हो:

• (एक * बी) + (एक * ख) =;
• (A + बी) * (एक बी) = ए

यदि तपाईं बुल बीजगणित को व्यवस्था थाहा तार्किक अभिव्यक्ति सरल सजिलो छ। व्यवस्था लेख को यो खण्ड मा सूचीबद्ध सबै empirically परीक्षण गर्न सकिन्छ। यो उद्देश्य लागि हामी गणित को व्यवस्था अनुसार कोष्ठक खोल्नुहोस्।

उदाहरण 1

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

(पी * ई) + (सी * यो): पहिलो उदाहरण, हामी अभिव्यक्ति सरल बनाउन आवश्यक छ। पहिलो, हामी दुवै पहिलो र दोस्रो कोष्ठक प्रस्तावहरू नै चर छ मा यो कोष्ठक बाहिर गर्न भन्ने तथ्यलाई हाम्रो ध्यान गर्नुहोस्। सी * (ई + यसलाई): पछि हामी अभिव्यक्ति manipulating गरेको प्राप्त। पहिले हामी बहिष्कृत मध्य को व्यवस्था देख्यो, अभिव्यक्ति आदर यो लागू हुन्छ। सी * 1: यो निम्न, हामी ई + = 1 यो यसैले छ हाम्रो अभिव्यक्ति फारम लिन्छ भन्न सकिन्छ। परिणामस्वरूप अभिव्यक्ति, हामी अझै पनि त्यो सी 1 = सी * थाह द्वारा सरलीकृत गर्न सकिन्छ।

उदाहरण 2

हाम्रो अर्को कार्य हुनेछ: अझै पनि एक सरल बुल अभिव्यक्ति छ के (सी + यसलाई) छैन + (सी + ई) C * ई छैन?

कृपया यो उदाहरण टिप्पणी जटिल अभिव्यक्ति को negation छ, यो, छुटकारा गर्नुपर्छ डी मोर्गन को व्यवस्था द्वारा निर्देशित। तिनीहरूलाई लागू, हामीले निम्न अभिव्यक्ति प्राप्त: * ई + NES NES * यो C * ई फेरि एक पटक हामी कोष्ठक बाहिर यसलाई बनाउन, दुई सर्तहरू एक चर को पुनरावृत्ति साक्षी छन्: HEC * (ई + उनको) C * ई HEC * 1 C * ई: फेरि, बहिष्कार ऐन लागू NES C * ई: हामी वाक्यांश "NES * 1" बराबर भनेर NES सम्झन (HEC + C) * (HEC + E): हामी पनि distributive व्यवस्था प्रयोग गर्न प्रस्ताव। HEC + ई: हामी बहिष्कृत मध्य को व्यवस्था लागू

उदाहरण 3

तपाईं वास्तवमा बुल अभिव्यक्ति सरल बनाउन धेरै सजिलो छ कि देखेको छ। उदाहरणका №3 कम विस्तार संग चित्रित गरिनेछ, यो आफैलाई गर्न प्रयास गर्नुहोस्।

(डी + E) * (डी + फा): अभिव्यक्ति सरल।

1. डी * डी + डी * फा + E * डी + E * फा;
2. डी + डी * फा + E * डी + E * फा;
3. डी * (1 + फा) + E * डी + E * फा;
4. डी + E * डी + E * फा;
5. डी * (1 + E) + E * फा;
6. डी + E * एफ

यदि तपाईं जटिल तार्किक अभिव्यक्ति सरलीकृत को व्यवस्था थाह तपाईं देख्न सक्नुहुन्छ रूपमा, त्यसपछि यो काम कहिल्यै तपाईं समस्या पैदा हुनेछ।