तार्किक अभिव्यक्ति को सत्य टेबल निर्माण को लागि एक अल्गोरिदम

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

बुलियन बीजगणित

जो परस्पर सञ्चालन छन् सरल तार्किक अभिव्यक्ति, एक जटिल अभिव्यक्ति सिर्जना आधारित तर्क बीजगणित। कि बुल बीजगणित दुई बाइनरी सञ्चालन comprises नोट: साथै र गुणन (संयोजन को र disjunction, क्रमशः); एक unary - उल्टाउने। सबै सरल अभिव्यक्ति (एक जटिल तार्किक अभिव्यक्ति तत्व) दुई एक मान लिन: "1" वा "0", "साँचो" वा "झूटा +", "" वा "-" क्रमशः।

तर्क को बीजगणित केही अपेक्षाकृत सरल axioms आधारित छ:

• associativity;
• विनिमेय छ;
• अवशोषण;
• distributivity;
• अतिरिक्तता।

तपाईंलाई थाहा छ भने तार्किक अभिव्यक्ति को एक सत्य तालिका निर्माण यी नियम तथा कार्यहरु को अनुक्रम, कुनै पनि कठिनाइ उत्पन्न छैन। सञ्चालन सख्त अनुक्रम मा प्रदर्शन हुनुपर्छ भनेर सम्झन: negation, गुणन, अतिरिक्त, परिणाम, equivalence, त्यसपछि मात्र Schiffer वा तार्किक न अपरेसन पल्ट गर्न आय। खैर, अन्तिम दुई कार्यहरु लागि तिनीहरूले स्थित हो जसमा क्रममा तिनीहरूलाई लागू गर्न प्राथमिकता कुनै नियम, छन्।

तालिका अप चित्रकला को नियम

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

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

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

अर्को, हामी हाम्रो अभिव्यक्ति बारी र प्रदर्शन कार्यहरू क्रम निर्धारण। आफूलाई राम्रो अर्डर एक पेन्सिल चिन्ह (एक, दुई, र यति मा)।

अर्को चरण हामी सञ्चालनका संख्या गणना। परिणामस्वरूप नम्बर - हाम्रो तालिका स्तम्भहरू को संख्या। चर सम्भावित संयोजन भर्न, तपाईंको सर्तहरू मा निहित चर रूपमा स्तम्भहरू को पनि एक नम्बर थप्न निश्चित हुनुहोस्।

अर्को, तपाईं हाम्रो तालिका को टोपी भर्न आवश्यक छ। तल यो एउटा उदाहरण हेर्नुहोस्।

अब सम्भव संयोजन को भरने गर्न अगाडि बढ्नुहोस्। दुई चर लागि, तिनीहरूले निम्नानुसार छन्: 00, 01, 10, 11 तीन लागि चर: 000, 001, 010, 011, 100, 101, 110, 111।

सबै माथि-उल्लेख वस्तुहरू बाँकी कक्षहरू र परिणामस्वरूप तालिका भर्नु को गणना गर्न अगाडि बढ्न सक्नुहुन्छ पछि।

उदाहरणका

A + बी * ए को उल्टाउने: अब हामी तार्किक अभिव्यक्ति तालिका निर्माण को उदाहरण साँचो हो विचार

1. रेखा को 2 नम्बर: 4 + 1 = 5 चर गणना।
2. कार्यहरूको कार्यान्वयन क्रम: पहिलो उल्टाउने, दोस्रो संयोजन, disjunction तेस्रो।
3. स्तम्भहरू संख्या: 3 + 2 = 5।
4. एक ट्रेसिङ रही र तालिका भर्नु।

"संयोजन के एफ = 1 मा" "कति संयोजन संतुष्ट एफ = 0" वा: एक नियम को रूप मा, काम यो जस्तै सुनिन्छ। 1, दोस्रो - - 00, 01, 11 पहिलो प्रश्न उत्तर मा।

दिएको छन् भनेर काम ध्यान दिएर पढ्नुहोस्। तपाईंले सही समस्या समाधान गर्न सक्छन्, तर प्रतिक्रिया लेख्न गल्ती गर्न। फेरि एक पटक म कार्यहरू क्रम आफ्नो ध्यान आकर्षित:

• इन्कार;
• गुणन;
• साथै।

कार्य

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

दिइएको एक चार मान: 1), 7 2) 6, 3), 5, 4) 4 तिनीहरूलाई केही लागि कथन "उल्टाउने (सानो एक 6) + (5 भन्दा कम एक)" गलत छ?

हाम्रो पहिलो स्तम्भ मान 7, 6, 5, 4 यो अनुक्रम आवश्यक भरिएको हुनेछ। अर्को स्तम्भ, हामी प्रश्नको जवाफ गर्नुपर्छ: "? अनि 6 भन्दा कम" तेस्रो स्तम्भ नै, अब मात्र प्रश्न गर्न जवाफ भरिएको: "? अनि 5 भन्दा कम"

हामी सञ्चालनका अनुक्रम निर्धारण। इन्कार disjunction पूर्वता लिन्छ कि सम्झना। त्यसैले, हामी अवस्था अनुरूप कि मान भर्न अर्को स्तम्भ छैन (एक भन्दा कम 6)। हाम्रो समस्या को मुख्य प्रश्नको जवाफ चौथो हुनेछ। तपाईँले तल तालिका भर्नु एउटा उदाहरण हेर्नुहोस्।

कृपया याद गर्नुहोस् कि हामी प्रतिक्रियाहरूको संख्या छ, गलत अभिव्यक्ति एक = 5 को मान, यो जवाफ तेस्रो संस्करण हो।