तार्किक सञ्चालन। आधारभूत तर्क सञ्चालन

एक विज्ञान रूपमा कम्प्युटर विज्ञान प्रविधी सङ्कलन को, व्यवस्थित र प्रक्रिया डाटा को एक किसिम मध्य-बीसौँ शताब्दीको विकास गर्न थाल्छ। केही इतिहासकारहरूले कम्प्युटर विज्ञान को गठन को शुरुवात पहिलो यांत्रिक कैलकुलेटर को आविष्कार संग, 17 औं सताब्दी मा राखिएको थियो भन्ने विश्वास गर्छन् तापनि बहुमत यसलाई थप विकसित को उमेर संगत कम्प्युटर प्रविधि। 20 औं शताब्दीको 40S मा, पहिलो कम्प्युटर को आगमन संग, कम्प्युटर विज्ञान विकास गर्न नयाँ गति प्राप्त गरेको छ।

अध्ययन सूचना विषयको

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

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

तार्किक सञ्चालनका Operands

को बीजगणित तर्क सार सिलाइ काम मतलब देखि, त्यसपछि operands रूपमा सबै तार्किक सञ्चालन गर्ने सामान्यिकृत डेटा प्रकार छन्। शास्त्रीय तत्व, बीजगणित बयान सँग काम गर्दछ बयान, गलत वा साँचो हो। यी सर्तहरू विवरण लागि इलेक्ट्रनिक्स र कार्यक्रम बुल चर को 1 (साँचो) र 0 (झूटा) साँचो र गलत वा पूर्णांक मान प्रयोग गरिन्छ। यी मान संयोजन मा, रूप अविश्वसनीय रूपमा लाग्न सक्छ, काम भन्दा जटिल र ठूलो मात्रा प्रणाली गाँसिएको छ। विश्वव्यापी कोड कुनै पनि प्रक्रिया द्वारा प्रशोधन गर्न सकिन्छ जो - सबै कार्यक्रम कोड कम्प्युटर वा कुनै पनि डिजिटल उपकरणमा कार्यान्वयन छ गतिशील रूप व्यक्तिहरूलाई र zeros एक अनुक्रम अनुवाद।

तार्किक सञ्चालनका प्रकार

यसअघि, शास्त्रीय मा उल्लेख रूपमा बुल बीजगणित , कार्य को 2 प्रकार छन्। बाइनरी डेटा प्रकार मा मुख्य तार्किक संचालन - बयान नै (unary, वा एकल, सञ्चालन) प्रभावित कार्यहरू छन्। यो पनि विद्यमान मान को आधार मा नयाँ बयान (बाइनरी सञ्चालन, या ट्विन) उत्पन्न कि अपरेसन छ। तार्किक सञ्चालनका क्रम प्रदर्शन गर्दा कुनै पनि गणितीय गणना कोष्ठक को दृश्य, दायाँ बायाँ देखि जस्तै हो।

सजिलो र बुलियन तर्क समारोह को सबै भन्दा चिरपरिचित कार्यहरु को एक इन्कार छ। यो सरल तर्क सञ्चालन इनपुट अपेरान्ड एक विपरीत मूल्य छ। इलेक्ट्रनिक्स मा, यो कार्य कहिले काँही एक उल्टाउने भनिन्छ। उदाहरणका लागि, तपाईँले "सत्य" को प्रस्ताव उल्टाउनुहोस् भने, परिणाम "झूटा" छ। र विपरित - मान को negation "झूटा" "साँचो" को मान मा हुनेछ। यो तार्किक सञ्चालन कार्यक्रम अक्सर एल्गोरिदम र विद्यमान परिणाम वा परिवर्तन अवस्था आधारमा आदेशहरू एक पछि सेट को "विकल्प" को कार्यान्वयन branching लागि प्रयोग गरिन्छ।

बाइनरी सञ्चालन

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

के तिनीहरूले आवश्यक

यो सिस्टम इनपुट operands केही मात्रामा लागि गरे र जो आगतपरिमितिहरू सेट भन्नुभयो एक predetermined तर्क सञ्चालन फर्कन सक्नुहुन्छ सबै परिणामस्वरूप मान, वर्णन गरिएको छ।

यस मा प्रयोग सबैभन्दा धेरै कार्यहरु कम्प्युटर र कम्प्युटर प्रविधिको तार्किक साथै (disjunction) र तार्किक गुणन (संयोजन) छन्।

संयोजनमा

तार्किक अपरेसन "र" - दुई वा N इनपुट operands को कम को विकल्प को एक समारोह छ। दुई (बाइनरी समारोह) हुन सक्छ यो काम प्रवेश मा, तीन मानहरू (ternary), वा operands (N-ary सञ्चालन) को असीमित संख्या। समारोह को परिणाम गणना गर्दा यो आपूर्ति इनपुट मान सानो हुनेछ।

साधारण बीजगणित मा एनालग गुणन को एक समारोह छ। तसर्थ, संयोजन अपरेसन तार्किक गुणन रूपमा गर्न अक्सर उल्लेख छ। जब समारोह रेकर्डिङ प्रेरित वा गुणन चिन्ह (बिन्दु) वा एम्परसेण्ड चिन्ह। हामी यो काम को लागि सत्य तालिका बनाउन भने, यो कार्य मात्र सबै आगत operands को सत्य संग, "साँचो" वा 1 सेट गरिएको छ कि देख्न हुनेछ। इनपुट मापदण्डहरू कम्तिमा एक शून्य छ, वा मान "झूटा" भने, समारोह को परिणाम पनि "झूटा" हुनेछ।

यो आगतपरिमितिहरू प्राप्त जसमा गणना अन्तिम परिणाम प्रभावित हुने छैन क्रम: एक परिणाम सधैं 0. यो तर्क सञ्चालन विनिमेय छ रिटर्न रूपमा गुणन र 0 नम्बर सेट को कुनै पनि नम्बर: यो गणित गुणन संग analogy झल्काउँछ।

यो समारोह अर्को सुविधा associativity, वा associativity छ। यो सम्पत्ति सञ्चालन को बाइनरी अनुक्रम को गणना खातामा मूल्यांकन को आदेश ले गर्दैन अनुमति दिन्छ। त्यसैले, 3 वा बढी क्रमागत तार्किक गुणन सञ्चालन लागि आवश्यक खातामा कोष्ठक लिन छ। कार्यक्रम मा, यो समारोह अक्सर विशिष्ट आदेशहरू कार्यान्वयन भनेर निश्चित गर्न प्रयोग गरिन्छ केवल केहि अवस्था को समग्र भने।

disjunction

तार्किक अपरेसन "या" - एक बुल समारोह को फारम, को बीजीय साथै समान छ जो। यो समारोह अन्य नाम - तार्किक वाहेक, disjunction। त्यसै गरी, तार्किक गुणन सञ्चालन रूपमा, disjunction बाइनरी हुन सक्छ (दुई तर्क आधारमा मूल्य गणना गर्न), ternary वा N-ary।

यो तार्किक कार्यका लागि सत्य तालिकाले संयोजन गर्न वैकल्पिक एक प्रकारको छ। तार्किक अपरेसन "या" आपूर्ति तर्क बीचमा सबै भन्दा राम्रो परिणाम गणना गर्छ। Disjunction उत्पादन मूल्य "झूटा" प्राप्त छ, वा 0 मात्र सबै आगतपरिमितिहरू मान 0 ( "झूटा") संग पाए। अन्य कुनै पनि मामला मा उत्पादन यो समारोह रेकर्ड गर्न मूल्य प्राप्त हुनेछ "साँचो", वा 1 भन्दा अक्सर साथै ( "प्लस") वा दुई ठाडो स्ट्रिप्स को गणितीय साइन प्रयोग गरिन्छ। किनभने यो तपाईं स्पष्ट गणित को तार्किक सञ्चालन अलग गर्न अनुमति दिन्छ दोस्रो संस्करण भन्दा कार्यक्रम भाषामा व्यापक र उपयुक्त छ।

तार्किक सञ्चालनका सामान्य गुण

आधारभूत तर्क सञ्चालन, यो unary, बाइनरी, ternary वा अन्य कार्यहरु छ कि छैन भनेर, आफ्नो आचरणलाई कि केही नियमहरू र गुण अधीनमा छन्। माथिको-वर्णन तर्क कार्य द्वारा नजिकै एक यस्तो मौलिक गुण विनिमेय छन्।

यो सुविधा क्रमवय कार्य अपेरान्ड मूल्य परिवर्तन गर्दैन स्थानहरूलाई सुनिश्चित गर्दछ। सबै संचालक यस सम्पत्ति छ। को संयोजनमा र commutativity आवश्यकताहरू पूरा गर्ने disjunction विपरीत, समारोह म्याट्रिक्स गुणन को छैन, र यस कार्यका मा कारक को rearrangement परिवर्तन को परिणाम, साथै entail हुनेछ exponentiation।

एक थप पक्ष

अर्को महत्त्वपूर्ण सुविधा, अक्सर इलेक्ट्रनिक्स र circuitry मा प्रयोग गरिन्छ जो, तार्किक सञ्चालन डी मोर्गन कानुनको जोडी को पराधीन छ।

यी नियमहरू तार्किक negation समारोह, अन्य प्रयोग गरेर तार्किक सञ्चालन व्यक्त गर्न प्रयोग गरिन्छ कि प्रयोग गरेर तर्क सञ्चालनका जोडी बाँध्न। उदाहरणका लागि, एक संयोजन negation कार्य disjunction negations अलग operands व्यक्त गर्न सकिन्छ। यी नियमहरू तार्किक अपरेसन "र", "या" र vzaimovyrazheny न्यूनतम हार्डवेयर लागत संग कार्यान्वयन सकिन्छ। यो तपाईं गणना र चिप्स को गठन स्रोतहरू बचत गर्न अनुमति दिन्छ रूपमा यो सुविधा, सर्किट डिजाइन मा अत्यन्तै उपयोगी छ।