सूचना। रूपान्तरण तर्क अभिव्यक्ति

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

तपाईं ध्यान दिएर यो लेख पढ्न र नियम र परिवर्तन को व्यवस्था, समस्या सुलझाने, र माथि योजनाहरु चित्रकला सिक्न यदि सूचना पाठ्यक्रम, सरल जस्तो र खुशी दिनेछु। हामी अहिले सुरु गर्न प्रस्ताव।

विज्ञान को तर्क

आधारभूत तर्क - यो यो यति धेरै पुस्तकहरू लेखिएको छ लागि, एकदम गाह्रो विषय हो। यस लेखमा त्यो छ, जानकारी सबैभन्दा संक्षिप्त र एकाग्रचित्त छ, तार्किक अभिव्यक्ति को परिवर्तन को व्यवस्था को मूल कुराहरू छलफल हुनेछ। यो अर्थपूर्ण गणनाको प्रविधिहरू र भवन योजनाहरु विचार गर्न आवश्यक छ।

के तर्क र के को लागि हो सुरु गर्ने? यो फाराम र तर्क को विधिहरू जाँच्ने एक विज्ञान हो भनेर याद महत्त्वपूर्ण छ। हामी सबै हेर्नुहोस कि, सुन्न वा, कानून पालना गर्छन्। हामी एक उचाइ बाट बल फेंक - उहाँले सधैं भौतिक को व्यवस्था गर्न विषय रूपमा तल गुजर। बिहान कफी बनाउँने, चीनी र सुक्खा पदार्थ तुरुन्त भौतिक को व्यवस्था पालन, पानी मा भंग थप्नुहोस्। "म यसलाई मरम्मत भइरहेको छ रूपमा, कार आइपुग्छ प्राप्त भएन।", "म राम्रो काम सुरक्षित छु भने, तपाईं उपाधि प्राप्त": हामी साथीहरूसँग कुराकानी मा हो, आफ्नो योजना साझेदारी noticing बिना हामी हाम्रो कुराकानी सबै निर्माण, यो तर्क र यसको व्यवस्था आधारित छ। त्यसैले किन विज्ञान तर्क छ? निस्सन्देह, यसको व्यवस्था थाह, तपाईं सही घटना को नतिजा निर्धारण गर्न सक्षम तिनीहरू अनियमित र जोखिममा कार्य छैन किनभने हुनेछ।

सोचाइ एकदम जटिल प्रक्रिया छ तापनि, तथापि, यो केही घटक विभाजित गर्न सकिँदैन, वा बरु, फारम (त्यहाँ विचार अभिव्यक्ति हो जो मद्दत संग):

• अवधारणाहरु;
• बयान;
• तर्क;
• प्रमाण।

हामी पनि तार्किक कार्यहरु जाने र तार्किक अभिव्यक्ति परिवर्तन गर्न प्रस्ताव। सूचना प्रविधि तपाईं ध्यान दिएर यो लेख पढ्न भने, रमाइलो र एकदम सरल विषय लागि हुनेछ।

तार्किक कार्यहरु

अब हामी तर्क कार्यहरु थाह गर्न प्रस्ताव। अक्सर संख्यात्मक अन्तरालहरू मा तर्क अभिव्यक्ति रूपान्तरण लागि पनि एकीकृत राज्य परीक्षा को भाग बी मा कार्यहरू मार्फत टिकट मा। तिनीहरूले तर्क कार्यहरु को ज्ञान बिना हल गर्न सकिन्छ।

यो विज्ञान को मुख्य कार्य के हो? निस्सन्देह, तार्किक अभिव्यक्ति (दुवै जटिल र सरल) को अध्ययन। एक कठिन प्रस्ताव कस्तो छ? साधारण मर्ज गरेर, कि कार्यहरु रूपमा परिचित छन् जो बंधन, कारण छ।

कुल पाँच डोरियों छन्:

• उल्टाउने (अर्थात्, negation, यो प्रकार्य प्रयोग गरेर, तपाईं कथन प्राप्त गर्न सक्छन्, यो विपरीत: म आज चलचित्र जाने - आज म चलचित्र जाँदै छैन छु);
• disjunction (यो कार्य अक्सर रूपमा तार्किक अतिरिक्त, यो स्पष्ट, जीवन को एक सरल उदाहरण दिन बनाउन क्रममा उल्लेख गरिएको छ: "म एक टाउको दुखाइ वा पेट छ भने, त्यसपछि म स्कूल जाने" - यो अभिव्यक्ति खातामा लिएको छ यदि आवश्यकताहरु कम्तिमा एक, साँचो हो );
• संयोजन (अक्सर एक तार्किक गुणन रूपमा उल्लेख: "म माझ र पाठ के छौँ भने साथीहरूसँग एउटा पैदल लागि जाने" - यो अभिव्यक्ति यदि दुई अवस्था खातामा लिएको छन् साँचो हुनेछ);
• को implication (; केही गर्न चाहन्थे तर काम गरेन, अन्य अवस्थामा, समारोह साँचो हुनेछ भने lozhnoy समारोह हुनेछ यो समारोह को तर्क मा निम्न, दुर्भाग्य द्वारा भनिन्छ, यो जीवन अवस्था चित्रण गर्न असम्भव छ);
• equivalence (वा समानता दुई बयान सत्य वा असत्य हो भने, परिणाम हामी सत्य प्राप्त)।

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

सत्य तालिका

संयोजनमा

पहिलो अभिव्यक्ति (एक)	दोस्रो अभिव्यक्ति (बी)	परिणाम (सी)
एल	एल	एल
र	एल	एल
एल	र	एल
र	र	र

disjunction

एक	को	सी
एल	एल	एल
र	एल	र
एल	र	र
र	र	र

उल्टाउने

एक	को
र	एल
एल	र

implication

एक	को	सी
एल	एल	र
र	एल	एल
एल	र	र
र	र	र

equivalence

एक	को	सी
एल	एल	र
र	एल	एल
एल	र	एल
र	र	र

साथै, यो संख्या 0, र साँचो अभिव्यक्ति संकेत तर्क कि निहित तथ्यलाई ध्यान दिनुहोस् महत्त्वपूर्ण छ - आफ्नो सुविधा लागि अंक 1, तपाईं लागू गर्न सक्नुहुन्छ र प्लस वा माइनस साइन। प्रस्तावित तालिकामा झूटा र साँचो अभिव्यक्ति अक्षरहरू "एल" र "म" क्रमशः चिनो लगाइएको भन्ने तथ्यलाई ध्यान।

भवन

तार्किक अभिव्यक्ति को रूपान्तरण गर्न अघि बढ्नु आफ्नै निर्माण पूरा गर्नै पर्छ पहिले। रूपमा पहिले भने कुनै पनि मिश्रित वा, जटिल अभिव्यक्ति दुई भागहरु हुन्छन्:

• को वर्णमाला को पत्र द्वारा denoted छन् चर;
• संकेत समारोह संकेत र प्रत्येक अन्य सरल अभिव्यक्ति जोडिएको हुन्छ।

तर्क को बीजगणित भाषामा अभिव्यक्ति लेख्न? यसो गर्न, तपाईं धेरै कुराहरू गर्न आवश्यक:

• सरल अभिव्यक्ति सबै भन्दै साझेदारी;
• अक्षरहरू ती तत्व जनाउँछ;
• सरल अभिव्यक्ति बीच लिंक हाइलाइट;
• तर्क को विशेष वर्ण बीजगणित को मद्दतले परिणामस्वरूप अभिव्यक्ति लेख्नुहोस्।

हामी एक सरल उदाहरण विचार प्रस्तावित: (Z * एफ = 5, वा Z * फा = 4) र (Z * फा छैन 5 वा Z बराबर छ * फा छैन 4 बराबर छ)। यो 2 कि पछि, हामी अभिव्यक्ति (4 5 वा = 4 = 4) र प्राप्त चर कायममुकायम गर्न आवश्यक छ (4 5 बराबर छैन वा 4 4 बराबर छैन)। (Z वा फा छैन) (Z वा फा) र: सञ्चालन पछि, हामी अभिव्यक्ति र तिनीहरूलाई बीच सम्बन्ध, तयार हुनुपर्छ निम्नानुसार हाइलाइट गर्नुपर्छ। कि पछि, हामी मान बयान स्थानापन्न, यो रेकर्डिङ रूपान्तरण गर्न आवश्यक छ। जी = 1 र 1 आवश्यक गणना पछि, हामी परिणाम प्राप्त: जी = 1, एक जटिल अभिव्यक्ति साँचो छ हामी प्राप्त 0. - त्यस अवस्थामा, अभिव्यक्ति साँचो हो भने, त्यसपछि यसलाई आवश्यक 1 विकल्प गर्न, अन्यथा छ।

कानून

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

पहिलो हाम्रो सूची मा - "double negation को व्यवस्था।" कि, "एक" को अभिव्यक्ति हुनेछ अभिव्यक्ति "छैन (एक)" छ।

Communicative व्यवस्था गणित छ, यो एकदम सरल छ सम्झना। A + बी = बी + एक, एक * बी = बी * ए

Associative व्यवस्था - (डी + E) + फा = (डी + फा) + ई, एउटै नियम तार्किक गुणन लागू हुन्छ।

वितरण व्यवस्था - यो एक प्राथमिक खोल्ने कोष्ठक छ। उदाहरण: (एक बी) * सी = (एक * सी) + (बी * सी)।

डी मोर्गन व्यवस्था: कुनै (एक बी) = * Nea Neuve, छैन (एक * बी) + = HEA HEB, HEA AimplikatsiyaV = + बी, छैन (AimplikatsiyaV) = एक * Neuve।

Idempotency: + X X = सी वा सी = सी *।

अचल अपवाद: एक्स = 1 + 1 + एक्स 0 = एक्स; एक्स = एक्स * 1, एक्स * 0 = 0।

अर्को हामीले अन्तर्विरोध को व्यवस्था चयन यसलाई पछ्याएर हामी निम्न समीकरण भन्न सक्छौं: वी * = 0 Neuve।

तर्क छ र व्यवहार मा रूपमा छ अवशोषण व्यवस्था, निम्नानुसार: सी + (सी * डी) = सी वा सी * (सी + डी) = सी

यसलाई तार्किक अभिव्यक्ति रूपान्तरण व्यवस्था अपवाद सम्झना गर्न महत्त्वपूर्ण पनि छ: (पी * ई) + (HEC * ई) = ई वा (सी + ई) * (HEC + E) = ई

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

नियम र परिवर्तन र सरलता, को कार्यहरू क्रम, उदाहरणहरू संग को व्यवस्था

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

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

हामी दिइन्छ: सी + (HEC * ई)। यो अभिव्यक्ति सरल बनाउन आवश्यक छ। पहिलो कुरा हामी कोष्ठक खोल्न प्रस्ताव। (सी + HEC) * (सी + ई): त्यसपछि हामीले निम्न अभिव्यक्ति प्राप्त। यसलाई तुरुन्तै दुई विपरीत बयान को तार्किक साथै हामीलाई सत्य दिनको उल्लेख गर्नुपर्छ। 1 * (सी + ई): हामी को फलस्वरूप के प्राप्त। (1 * सी) + (1 + E): फेरि कोष्ठक खोल्नुहोस्। अब फेरि हामी व्यवस्था सम्झना र जवाफ प्राप्त: सी + ई

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

चुनौतिहरु बैठक

हामी "तर्क" भनिन्छ विज्ञान, तार्किक अभिव्यक्ति को परिवर्तन को मूल कुराहरू थाह भयो, हामी छोटकरीमा सूचीकृत व्यवस्था समीक्षा। यो कार्य - तार्किक अभिव्यक्ति को तयारी संग सबै भन्दा कठिन कार्यहरू। तिनीहरूले तर्कको मद्दत, रूपान्तरण अभिव्यक्ति वा तालिका विधि संग हल गर्न सकिन्छ भनेर याद महत्त्वपूर्ण छ। हामी विस्तार तिनीहरूलाई को एक विचार गर्न प्रस्तावित।

तीन केटाहरू (Cyril, एंटोन र हड्डी) एउटै कोठामा थिए। अचानक आमा भान्सा बाहिर भाँचिएको कप को ध्वनि सुन्न। उहाँले आफ्नो छोराहरूलाई भाग्यो र भन्नुभयो, "यो गरे कसले?" जवाफ निम्नानुसार थियो: Kirill कचौरा कुनै हड्डी भङ्ग भएको छ भने, र एंटोन; Anton भने यसलाई सट्टा Cyril kostya गरे; Kostya दोषी नही छैन Anton छ भनेर भन्छन्। हामी कसैले छोराका एक आमा सत्य भन्नुभयो छ भनेर थाह छ। तपाईं पत्ता लगाउन कचौरा भङ्ग गर्ने आवश्यक छ।

तार्किक, जवाफ Cyril र एंटोन प्रत्येक अन्य, साथै Cyril kostya काट्न। फलस्वरूप, तिनीहरूले दुवै साँचो हुन सक्छ। हामी निम्न निष्कर्ष बनाउन - एंटोन र kostya सत्य भन्नुभयो, र Cyril को भङ्ग कप को दोषी नही छ। यो विधि मनन प्रयोग भएको थियो। मात्र रूपान्तरण अभिव्यक्ति को विधि द्वारा नै समस्या अब समाधान ब्राउजिङ। सुरु गर्न, हामी संक्षिप्त परिचय:

• KR - कप Cyril भङ्ग;
• र - कचौरा Anton भङ्ग छ;
• K - हड्डी को perpetrator।

केटा जवाफ दिनुभयो:

• Cyril - गले, एक;
• Anton - Necro, कश्मीर;
• Kostya - होइन।

यदि kostya झूट थियो प्रस्ताव, अभिव्यक्ति बनाउन र Cyril र एंटोन सत्य भन्नुभयो: HEK * एक = 1 र K * necro = 1 र एक = 1। 0 = 1: अभिव्यक्ति रूपान्तर, हामी एक अन्तर्विरोध प्राप्त। हाम्रो धारणा यो अन्य अनुमानको जाँच गर्न आवश्यक छ, गलत छ।

K * Nea = 1 र K = 1 * Necro र Nea = 1: हामी Cyril झूट थियो भनेर, र एंटोन र kostya त्यसपछि निम्न अभिव्यक्ति, सत्य आमा भन्नुभयो मान भने। हामी KR * Nea HEK = 1 प्राप्त अभिव्यक्ति सरलीकृत। यो हाम्रो धारणा सही, साँच्चै, थियो Cyril एक कप भङ्ग र मेरो आमा झूट सुझाव।

सुलझाने को टेबुलर विधि

तर्क र तार्किक अभिव्यक्ति को परिवर्तन को व्यवस्था छलफल, पक्कै पनि अघिल्लो खण्ड मा प्रस्तुत छ जो कार्य, सामना गर्न हामीलाई मदत गरे। अब हामीले निम्न समस्याको समाधान टेबुलर विधि विचार गर्न प्रस्तावित।

दिमित्री, अनातोली र Lyudmila हुलाक पत्राचार को प्रशंसक छन्, हामी सबै दुनिया को विभिन्न भागहरु बस्न र विभिन्न सोख छ भनेर थाह छ। के शहर र के रुचि बस्ने निर्धारण। निम्न तथ्यहरू:

• Dmitri पेरिस, र Lyudmila गर्न भएको कहिल्यै थियो - रोम मा;
• पेरिस बसोबास गर्ने एक, एक चलचित्र छैन रुचि;
• रोम मा बसोबास गर्ने एक मानिस, मुखर छ;
• यस ब्यालेट गर्न Lyudmila अनिच्छा।

समस्या समाधान गर्न, तपाईं एउटा सानो तालिका बनाउन आवश्यक छ।

फ्रान्स	इटाली	संयुक्त राज्य अमेरिका		स्वर	ब्यालेट	चलचित्र
			दिमित्री
			अनातोली
			Lyudmila

अर्को, तपाईं अधिकतम ध्यान आवश्यक छ। तपाईं अवस्थामा पढ्न सबै, यो तालिका प्रतिबिम्बित हुनुपर्छ। निम्नानुसार भरने को पाठ्यक्रम मा स्पष्ट हुनेछ:

• दिमित्री रोम बसोबास र मुखर छ;
• अनातोली पेरिस बसोबास र ब्यालेट बारम्बार;
• Lyudmila - सिनेमा को एक ठूलो प्रशंसक, संयुक्त राज्य अमेरिका मा बसोबास गर्ने।

कृपया फेरि साँचो अभिव्यक्ति नम्बर 1 र गलत चिनो लगाइएको भन्ने तथ्यलाई आफ्नो ध्यान - यी प्रतीक संग तालिकामा 0 भरण, तपाईं चाँडै तपाईं चासो कि प्रश्नको जवाफ पाउनुहुनेछ।

Mikroskhematika

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

यो सबै डिजिटल उपकरणहरू तर्क तत्व एक तर्क समारोह प्रदर्शन कि, छ, केही उपकरणहरू आधारित छन् भनेर थाह महत्त्वपूर्ण छ।

हामी पहिले देखि नै एक संयोजन (तार्किक गुणन) को रूपमा यस्तो समारोह बारेमा कुरा गरेका छन्। यो सामान्यतया प्रतीकको र द्वारा denoted छ। यो समारोह धेरै मान को संयोजनमा लागि आवश्यक छ। चित्रमा तपाईं तार्किक गुणन सर्किट देख्न सक्छौं।

disjunction समारोह इनपुट मान केही को disjunction को बोध लागि आवश्यक छ। अभिव्यक्ति लेखन जब यो समारोह सामान्यतया प्रतीकको यू द्वारा denoted छ। चित्रमा रेखाचित्र छ।

उल्टाउने कार्य विपरीत मा एक अभिव्यक्ति कनवर्टर छ। चित्रमा तपाईं सर्किट कस्तो देखिन्छ देख्न सक्नुहुन्छ "छैन।"

सूत्र को उदाहरण सरलता बनाउन №1

तार्किक अभिव्यक्ति रूपान्तरण लागि माथिको नियम व्यवहार मा सुरक्षित हुनुपर्छ। यो लक्ष्य पछि लाग्दा छ, हामी मध्यम कठिनाई आफ्नै दुइटा उदाहरण मा समाधान गर्न प्रस्तावित र लेखको यस खण्डमा परिणाम संग तुलना।

तपाईं तार्किक अभिव्यक्ति को परिवर्तन को सूत्र याद गर्न समय थियो छैन भने, तपाईंले एउटा सानो "रिमाइन्डर" बनाउन सक्छ। तपाईं तपाईँले उनको जासुसी छैन भनेर हेर्न हुनेछ।

उदाहरण: (+ X टी) * (हेक्स + टी) * (एम + छैन)। आँखा बंद बन्द लेख्न छैन, उदाहरण आफैलाई समाधान गर्ने प्रयास गर्नुहोस्।

* टी * (एम + कुनै) = (टी * एम) + (टी * कुनै) = (टी * NTU) + 0 = (टी 0) * (एम + 0) टी =: सरलीकृत समयमा हामीले निम्न प्रविष्टिहरू प्राप्त एम

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

सूत्र को उदाहरण सरलता बनाउन №2

यस खण्डमा, हामीले तपाईंलाई अभिव्यक्ति (ई + एच) * (ई + K) सरल बनाउन प्रस्ताव। हामीलाई चरणमा समाधान विचार गरौं। पहिलो कुरा हामी, कोष्ठक खोल्न गणित को प्रारम्भिक पाठ्यक्रम सम्झना गर्न आवश्यक छ। फलस्वरूप, हामीले निम्न अभिव्यक्ति प्राप्त: ई + ई * ई * N * K * ई * N + K. यसबाहेक, हामी यो अभिव्यक्ति ई * ई एक भाग हो भनेर याद, कानून idempotency सम्झना र प्रवेश परिवर्तन: ई + ई * K * N * ई * N + K. A + 1 = 1: अर्को चरण चर ई र सम्पत्ति कोष्टकबाट प्रयोग गरेर ई + E * को परिवर्तन। ई + एच + एच ई * K.: हामीले निम्न अभिव्यक्ति प्राप्त ई + एच K.: एक analogous अन्तिम बिन्दु निम्न र फलस्वरूप बाहिर लिन कोष्ठक ई, हामी जवाफ प्राप्त

काम मात्र पहिलो नजर मा जटिल देखिन्छ भन्ने तथ्यलाई ध्यान। "बीउ जस्तै तिनीहरूलाई फ्लिप" गर्न, तपाईं बस तर्क आधारभूत नियमहरू सिक्न आवश्यक छ।