कम्प्युटर विज्ञान: सत्य तालिका। सत्य टेबल निर्माण

आज हामी विज्ञान भनिन्छ विषयमा कुरा। सत्य तालिका, कार्य को किसिम, कार्यान्वयन क्रम - यी हामी लेखमा जवाफ पाउन प्रयास गर्नेछ जो हाम्रो आधारभूत प्रश्नहरू छन्।

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

विषय तर्क

विषय कस्तो - कम्प्यूटर विज्ञान? सत्य तालिका - यो कसरी निर्माण गर्ने? किन विज्ञान तर्क छ? यी सबै प्रश्नहरूको, हामी अब तपाईंसँग जवाफ हुनेछ।

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

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

अब तपाईं कुरा बाटो ध्यान।

• "एक पशु चिकित्सा क्लिनिक आफ्नो बिरालो लिन म जाँदै छु भने, उहाँले खोप गर्न छ।"
• "आज धेरै गाह्रो दिन थियो, तपाईं जाँच गर्न छ किनभने।"
• त्यसैले, र "म किनभने आज colloquium हुनेछ, विश्वविद्यालय जान चाहँदैनन्।"

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

कार्य

प्रस्तावित कार्य को लागि सत्य तालिका बनाउन क्रममा तपाईं तर्क कार्यहरु जान्नु आवश्यक छ। यो के हो? तर्क समारोह जो बयान (सत्य वा असत्य) हो केही चर, र नै हामीलाई प्रश्नको जवाफ दिनुपर्छ समारोह को मूल्य छ: "। अभिव्यक्तिले साँचो वा गलत छ"

सबै अभिव्यक्ति निम्न मान छ:

• साँचो वा झूटो।
• टी वा एफ
• 1 वा 0।
• प्लस वा माइनस।

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

सबै तर्क कार्यहरु अभिव्यक्ति लिङ्क सात वा बन्धन हो:

• गुणन (संयोजन)।
• साथै (disjunction)।
• Corollary (implication)।
• Equivalence।
• उल्टाउने।
• Sheffer स्ट्रोक।
• पियर्स तीर।

पहिलो सञ्चालन, सूचीमा प्रतिनिधित्व, "तार्किक गुणन" भनिएको छ। यो एक उल्टो निशान, संकेत र वा * को रूप मा चित्रात्मक उल्लेख गर्न सकिन्छ। हाम्रो सूचीमा दोस्रो चरण - तार्किक वाहेक, चित्रात्मक एक निशान + रूपमा देखाइयो। को implication एक तार्किक परिणाम, को छानबिन मा अवस्थाको एउटा तीर इशारा संकेत छ। Equivalence समारोह साँचो मूल्य छ, दुई-तरिका तीर द्वारा denoted छ मात्र कोड को अवस्थामा दुवै मान "1" वा "0" को मान लिन। उल्टाउने एक तार्किक negation छ। Sheffer स्ट्रोक समारोह भनिन्छ छ, संयोजन र तार्किक न इनकार जो - को disjunction negating, समारोह।

आधारभूत बाइनरी कार्यहरु

तार्किक सत्य तालिका समस्या जवाफ पाउन मदत गर्छ, तर तपाईं बाइनरी कार्यहरु को तालिका सम्झना गर्न आवश्यक छ। यस खण्डमा, तिनीहरूले प्रदान गरिनेछ।

संयोजक (गुणन)। दुई अभिव्यक्ति साँचो हो भने, परिणाम हामी सत्य, अन्य सबै अवस्थामा हामी झूट प्राप्त प्राप्त गर्नुहोस्।

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

परिणाम - हामी मामला दुई झूटा आदानों मात्र हो तार्किक साथै मा झूठ।

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

Equivalence मात्र समान इनपुट मान को मामला मा साँचो हो। कि, जब को जोडी "0, 0" वा "1, 1"।

उल्टाउने को मामला मा सबै प्राथमिक, आगत साँचो अभिव्यक्ति हो भने, यो गलत विपरित परिवर्तित छ, र। चित्रमा तपाईं यसलाई चित्रात्मक संकेत कसरी देख्न सक्छौं।

Schiffer पट्टी उत्पादन त्यहाँ दुई वास्तविक अभिव्यक्ति हो भने मात्र गलत परिणाम हुनेछ।

इनपुट हामी मात्र झूटा अभिव्यक्ति छ भने तार्किक न त समारोह को मामला मा मात्र मामला मा साँचो हुनेछ।

के क्रममा तार्किक सञ्चालन गर्न

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

• तार्किक negation;
• गुणन;
• साथै;
• अनुसन्धानहरूले;
• equivalence;
• गुणन (Sheffer स्ट्रोक) को इन्कार;
• साथै इन्कार (तीर पियर्स)।

उदाहरणका №1

हामी अब 4 चर लागि सत्य तालिका निर्माण को उदाहरण विचार प्रस्तावित। तपाईं जान्नु आवश्यक जसमा अवस्थामा एफ = 0 समीकरण मा: Nea + B C * डी

"1, 0, 0, 0", "1, 0, 0, 1" र "1, 0, 1, 0": यो कार्य जवाफ निम्न संयोजन को स्थानान्तरण हुनेछ। तपाईं देख्न सक्नुहुन्छ रूपमा, सत्य एकदम बस तालिका बनाउन। फेरि एक पटक म कार्यहरू क्रम आफ्नो ध्यान आकर्षित गर्न चाहन्छ। विशिष्ट मामला मा, यो निम्नानुसार थियो:

1. पहिलो सरल अभिव्यक्ति को उल्टाउने।
2. तेस्रो र चौथो अभिव्यक्ति को संयोजनमा।
3. अघिल्लो गणना को परिणाम संग दोस्रो अभिव्यक्ति Disjunction।

उदाहरणका №2

अब हामी एक सत्य तालिका निर्माण आवश्यक अर्को काम मा हेर्न। गणना (उदाहरण स्कूल पाठ्यक्रम ल्याइएका) हुन सक्छ तार्किक समस्या सन्दर्भको रूपमा। ती मध्ये एक मा एक संक्षिप्त नजर। Vanya, बल चोरी तपाईं निम्न थाहा छ भने दोषी गर्न:

• Vanya चोरी भने होइन वा पत्रुस चोरी, त्यसपछि सर्गेई को चोरी मा भाग।
• इवान दोषी छैन भने, र सर्गेई बल चोरी थिएन।

हामी संकेतन परिचय: म - इवान बल चोरेछ; पी - पत्रुस चोरेछ; सी - सर्गेई चोरेछ।

एफ = ((Nei + R) implication सी) * (Nei implication HEC): यो अवस्थामा, हामी समीकरण बनाउन सक्छ। हामी ती विकल्पहरू, जहाँ समारोह साँचो मूल्य लिन्छ आवश्यक छ। अर्को, यो कार्य धेरै 7 कार्य, यो हटाइएका गरिनेछ किनभने, तालिका सिर्जना गर्नुहोस्। हामी बनाइने मात्र इनपुट डाटा र परिणाम द्वारा।

त्यो नोट हामी यो समस्या मा "0" प्रतीक र "1" प्लस र माइनस प्रयोग सट्टा। यो पनि स्वीकार्य छ। हामी एक संयोजन, जहाँ एफ = + रुचि राख्नुहुन्छ। तिनीहरूलाई विश्लेषण पछि, हामीले निम्न निष्कर्षमा पुग्न सक्छौं: Vanya सबै अवस्थामा फा लिन्छ जहाँ मूल्य + जस्तै, बल को चोरी मा भाग र सकारात्मक मान छ।

उदाहरणका №3

अब हामी तपाईं संयोजन गर्दा एफ = 1 को संख्या पत्ता लगाउन प्रस्ताव। निम्नानुसार समीकरण छ: एफ = Nea + B * A + Neuve। सत्यको तालिका:

एक: 4 संयोजन।