အဆိုပါယုတ္တိစစ်ဆင်ရေး။ အခြေခံယုတ္တိဗေဒစစ်ဆင်ရေး

တစ်သိပ္ပံအဖြစ်ကွန်ပျူတာသိပ္ပံ နည်းပညာတွေကိုစုဆောင်း၏, ဒေတာအမျိုးမျိုးကိုစုစည်းပြီးနှင့် process အလယ်ပိုင်းနှစ်ဆယ်ရာစုအတွက်ဖွံ့ဖြိုးတိုးတက်ဖို့ကစတင်ခဲ့သည်။ အချို့သမိုင်းပညာရှင်ကွန်ပျူတာသိပ္ပံ၏ဖွဲ့စည်းခြင်း၏အစ 17 ရာစု၌ခံခဲ့ရကြောင်းယုံကြည်ပေမယ့်, ပထမဦးဆုံးစက်မှုဂဏန်းပေါင်းစက်၏တီထွင်မှုနှင့်တကွ, အများစုထက်ပိုအဆင့်မြင့်၏အသက်အရွယ်နှင့်အတူကပေါင်းသင်း ကွန်ပျူတာနည်းပညာ။ 20 ရာစု၏ 40 ခုနှစ်တွင်ပထမဦးဆုံးကွန်ပျူတာထွန်းနှင့်အတူ, ကွန်ပျူတာသိပ္ပံဖွံ့ဖြိုးတိုးတက်မှုအားအသစ်သောတွန်းအားလက်ခံရရှိခဲ့သည်။

လေ့လာမှုပညာပေး၏ဘာသာရပ်

ပထမဦးဆုံးကွန်ပျူတာထွန်းသစ်ကိုကွန်ပျူတာများကိုအပြည့်အဝအလားအလာခွင့်ပြုမယ်လို့ကြီးမားတဲ့ data တွေကိုအစုံစနစ်တကျ, တွက်ချက်မှုများနှင့်အပြောင်းအလဲနဲ့၏အဖြစ် algorithms များဖွံ့ဖြိုးတိုးတက်မှုအတွက်အသစ်သောနည်းလမ်းများဖွံ့ဖြိုးတိုးတက်ဖို့လိုအပ်သောဖြစ်လာသည်နှင့်အတူကဖြစ်ခဲ့သည်။ ပညာပေးအနေနဲ့လွတ်လပ်သောသိပ္ပံနည်းကျစည်းကမ်း၏ status ကိုလက်ခံရရှိနှင့်ယေဘုယျအားဖြင့်ကွန်ပျူတာလေ့လာဖို့သင်္ချာတွက်ချက်မှု၏လေယာဉ်ထဲကပြောင်းရွှေ့ခဲ့သည်။

အားလုံးခေတ်သစ်ကွန်ပျူတာသိပ္ပံယုတ္တိစစ်ဆင်ရေးအပေါ်အခြေခံသည်။ သူတို့ဟာအခြေခံအစိတ်အပိုင်းဟုခေါ်တွင်စေနိုင်ပါတယ်။ ပရိုဂရမ်းမင်းခုနှစ်တွင်, ကွန်ပျူတာစနစ်များကိုယုတ္တိဗေဒစစ်ဆင်ရေး၏အယူအဆ - ကသစ်တစ်ခုအယူအဆသို့မဟုတ်ရှိပြီးသားအယူအဆ၏အခြေခံပေါ်မှာဖွဲ့စည်းခဲ့တန်ဖိုးဖျော်ဖြေပြီးနောက်ထုတ်ပေးသောလုပ်ဆောင်ချက်တစ်ခုဖြစ်ပါသည်။ ထိုကဲ့သို့သောလုပ်ရပ်များတစ် set ကို command များကို execute ဖို့ Processor ကိုဒြပ်စင်ပေါ် မူတည်. အမျိုးမျိုးကွဲပြားလိမ့်မည်။ သို့သျောလညျးလုနီးပါးအားလုံးကိုစနစ်များမှဘုံဖြစ်ကြောင်းအချို့သောလုပ်ငန်းများရှိပါသည်။ အကြောင်းအရာနှင့်အတူအလုပ်လုပ်သောဤစစ်ဆင်ရေး, ထိုကဲ့သို့သောငြင်းပယ်အဖြစ်မိမိတို့ကိုယ်ကိုတန်ဖိုးထားဒါမှမဟုတ်အရေအတွက်စရိုက်လက္ခဏာတွေသဘောတရားများကိုပြောင်းလဲသောသူတို့ကို - add နုတ်, များပြားသွေးခွဲ။

ယုတ္တိစစ်ဆင်ရေး၏ Operands

အဆိုပါ algebra ယုတ္တိဗေဒစိတ္တဇအယူအဆတွေအပေါ်အလုပ်ကိုဆိုလိုတယ်ကတည်းက, ထို့နောက် operands အဖြစ်အားလုံးယုတ္တိစစ်ဆင်ရေးအထွေထွေဒေတာအမျိုးအစားများဖြစ်ကြသည်။ classical ဒြပ်စင်, Algebra ထုတ်ပြန်ချက်များနှင့်အတူအလုပ်လုပ်တယ်မှားယွင်းသောသို့မဟုတ်စစ်မှန်တဲ့ထုတ်ပြန်ချက်များဖြစ်ကြသည်။ ဤဝေါဟာရများများ၏ဖော်ပြချက်များအတွက်အီလက်ထရွန်းနစ်နှင့် programming ကို Boolean variable တွေကို 1 (မှန်) ၏စစ်မှန်သောနှင့်မှားယွင်းသောသို့မဟုတ် integer ဖြစ်တဲ့အတွက်တန်ဖိုးအားအသုံးပြုသည်နှင့် 0 (မှားယွင်းသော) ။ ဤအတန်ဖိုးများကိုပေါင်းစပ်တွင်ပြုလုပ်အသံစခွေငျးငှါအဖြစ်မယုံနိုင်စရာသကဲ့သို့, အလုပ်အများဆုံးရှုပ်ထွေးပြီးအကြီးစားစနစ်များကိုချည်ထားသောဖြစ်ပါတယ်။ ကွန်ပျူတာပေါ်မှာကွပ်မျက်ခံရသို့မဟုတ်မည်သည့်ဒီဂျစ်တယ် device ကိုသည် dynamically သူတွေကိုနှင့်သုညတစ် sequence ကိုစကြောင်းအားလုံးအစီအစဉ်ကိုကုဒ် - ဆိုအပြောင်းအလဲနဲ့အားဖြင့်လုပ်ငန်းများ၌နိုင်ပါတယ်သောတစ်လောကလုံးကုဒ်။

ယုတ္တိစစ်ဆင်ရေးအမျိုးအစားများ

အဆိုပါဂန္ထဝင်အတွက်အစောပိုင်းကဖော်ပြခဲ့တဲ့အတိုင်း Boolean algebra , လုပ်ငန်းဆောင်တာ 2 မျိုးရှိပါတယ်။ binary data တွေကိုအမျိုးအစားများအပေါ်အဓိကယုတ္တိစစ်ဆင်ရေး - ကြေညာချက်သူ့ဟာသူထိခိုက်လုပ်ရပ်များ (unary, ဒါမှမဟုတ်တစ်ခုတည်း, စစ်ဆင်ရေး) ဖြစ်ကြသည်။ ဤသည်မှာလည်းလက်ရှိတန်ဖိုးများ၏အခြေခံပေါ်မှာသစ်ကိုထုတ်ပြန်ချက်များ (ဒွိစစ်ဆင်ရေး, ဒါမှမဟုတ်အမွှာ) generate သောစစ်ဆင်ရေးဖြစ်ပါသည်။ အဆိုပါယုတ္တိစစ်ဆင်ရေး၏အမိန့်ဟာကွင်းခတ်၏အမြင်တွင်, လက်ျာဘက်လက်ဝဲဘက်ကနေမဆိုသင်္ချာတွက်ချက်မှုဖျော်ဖြေတဲ့အခါမှာအဖြစ်အတူတူပင်ဖြစ်ပါသည်။

အလွယ်ကူဆုံးနဲ့ Boolean ယုတ္တိဗေဒ function ကို၏လူသိအများဆုံးလုပ်ဆောင်ချက်များကိုများထဲမှငြင်းပယ်သည်။ ဒါဟာရိုးရှင်းတဲ့ယုတ္တိဗေဒစစ်ဆင်ရေးအတွက် input ကို operand တစ်ခုဆန့်ကျင်ဘက်တန်ဖိုးကိုဖြစ်ပါတယ်။ အီလက်ထရွန်းနစ်များတွင်ဤ action တခါတရံတခုပြောင်းပြန်လှန်ဟုခေါ်သည်။ သင်အဆိုပြု "အမှန်တရား" ပြောင်းပြန်လှန်လိုက်ပါလျှင်ဥပမာ, ရလဒ် "မှားယွင်းသော" ဖြစ်ပါတယ်။ နှင့်အပြန်အလှန် - တန်ဖိုးများ၏ negation "မှားယွင်းသော" "ဟုတ်မှန်" ၏တန်ဖိုးဖြစ်ပေါ်ပါလိမ့်မယ်။ ဒါဟာယုတ္တိစစ်ဆင်ရေး programming ကိုမကြာခဏ algorithms များနှင့်လက်ရှိရလဒ်တွေကိုသို့မဟုတ်ပြောင်းလဲသွားတယ်အခြေအနေများ၏အခြေခံပေါ်မှာပညတ်တော်တို့ကိုတစ်နောက်ဆက်တွဲထား၏ "ရွေးချယ်မှု" ၏အကောင်အထည်ဖော်မှုစိမျးများအတွက်အသုံးပြုသည်။

ဒွိစစ်ဆင်ရေး

ကွန်ပျူတာပရိုဂရမ်းမင်းနှင့်တစ်ကန့်သတ် set ကိုအသုံးပြု binary (binary) စစ်ဆင်ရေး။ သူတို့က "နှစ်ဦးကို" အဓိပ်ပာယျ, လကျတငျစကားများ bi သူတို့နာတယ်, နှစ်ယောက် input ကိုအငြင်းပွားမှုများကိုယူပြီးအသစ်တစ်ခုတန်ဖိုးကိုအတွက်ရလဒ်ပြန်လာကြောင်းလုပ်ဆောင်ချက်များကို၏ကြင်နာဖြစ်ကြသည်။ Boolean algebra အပေါငျးတို့သလုပ်ဆောင်ချက်များကို၏ဖော်ပြချက်သည်သမ္မာတရားနှင့်ကျောက်ပြားကိုအသုံးပြုသည်။

သူတို့လိုအပ်ကဘာလဲ

ဒီစနစ် input ကို operands တစ်အချို့ငွေပမာဏအဘို့ဖန်ဆင်းတော်မူ၏နှင့်သတ်မှတ်ထား input ကို parameters တွေကိုဆိုပါတယ်မှာကြိုတင်သတ်မှတ်ထားသောယုတ္တိဗေဒစစ်ဆင်ရေးပြန်လာနိုင်ပါတယ်သမျှရရှိလာတဲ့တန်ဖိုးများကို, ကိုဖော်ပြထားတယ်နေသည်။

ထဲမှာအများဆုံးမကြာခဏအသုံးပြုကြသည်လုပ်ဆောင်ချက်များကို ကွန်ပျူတာနှင့်ကွန်ပျူတာနည်းပညာကို ယုတ္တိများအပြင် (disjunction) နှင့်ယုတ္တိမြှောက် (တွဲဖက်) ဖြစ်ကြသည်။

တွဲဖက်

အဆိုပါယုတ္တိစစ်ဆင်ရေး "AND" - နှစ်ခုသို့မဟုတ်နှစ်ခုဎ input ကို operands များ၏အပြောင်၏ရွေးချယ်မှုတစ်ခု function ကိုဖြစ်ပါတယ်။ ဒီ function ကိုဝင်တွင်နှစ်ခု (ဒွိ function ကို) ရှိသည်သုံးတန်ဖိုးများ (ternary), သို့မဟုတ် operands တစ်ခုန့်အသတ်အရေအတွက်သည် (ဎ-ary စစ်ဆင်ရေး) နိုင်ပါတယ်။ function ကို၏ရလဒ်တွက်ချက်တဲ့အခါမှာကထောက်ပံ့ input ကိုတန်ဖိုးအသေးဆုံးဖြစ်လိမ့်မည်။

သာမန်အက္ခရာသင်္ချာအတွက် analogue မြှောက်တဲ့ function ကိုဖြစ်ပါတယ်။ ထို့ကြောင့်တွဲဖက်စစ်ဆင်ရေးမကြာခဏယုတ္တိမြှောက်အဖြစ်ရည်ညွှန်းသည်။ အခါ function ကိုမှတ်တမ်းတင်လုပ်ရပ်များသို့မဟုတ်အကွိမျမြားစှာသောနိမိတျလက်ခဏာ (အမှတ်) သို့မဟုတ်တစ်ဦး ampersand ၏လက္ခဏာသက်သေ။ ကြှနျုပျတို့သညျဤ function ကိုများအတွက်အမှန်တရားစားပွဲပေါ်မှာလုပ်ပါက function ကိုသာအပေါငျးတို့သ input ကို operands ၏အမှန်တရားနှင့်အတူ "စစ်မှန်သော" သို့မဟုတ် 1 ဟုသတ်မှတ်ကြောင်းမြင်ကြပါလိမ့်မည်။ အဆိုပါ input ကို parameters တွေကိုအနည်းဆုံးတဦးတည်းသုည, ဒါမှမဟုတ်တန်ဖိုး "အယူမှား" ဖြစ်ပါတယ်လျှင်, function ကို၏ရလဒ်လည်း "မှားယွင်းသော" ဖြစ်လိမ့်မည်။

ဤသည်ဂဏန်းသင်္ချာအမြှောက်တွေနဲ့နှိုင်းယှဉ်မယ်ဆိုရင်ထင်ဟပ်: က input ကို parameters များကိုအဆိုပါတွက်ချက်မှု၏နောက်ဆုံးရလဒ်အကျိုးသက်ရောက်စေမည်မဟုတ်လက်ခံရရှိထားတဲ့အတွက်အမိန့်: ရလဒ်အဖြစ်ပါ 0 င်ဖို့အမြှောက်များနှင့်နံပါတ်များအစုံမဆိုအရေအတွက်ကအမြဲ 0. ဒီယုတ္တိဗေဒစစ်ဆင်ရေးအသွားအပြန်ဖြစ်ပါတယ်ပြန်လည်ရောက်ရှိ။

ဒီ function ကို၏နောက်ထပ် feature ကို Associates, ဒါမှမဟုတ် Associates ဖြစ်ပါတယ်။ ဤသည်ပစ္စည်းဥစ္စာပိုင်ဆိုင်မှုစစ်ဆင်ရေး၏ဒွိ sequence ကို၏တွက်ချက်မှုအကောင့်သို့အကဲဖြတ်၏အမိန့်ကိုယူမထားဘူးခွင့်ပြုပါတယ်။ ထို့ကြောင့်, 3 သို့မဟုတ်ထိုထက်ပိုဆက်တိုက်ယုတ္တိမြှောက်စစ်ဆင်ရေးများအတွက်အကောင့်ထဲသို့ကွင်းခတ်ယူမှမလိုအပ်ပါဘူး။ ပရိုဂရမ်းမင်းမှာတော့ဒီ function ကိုမကြာခဏသေချာတိကျသောပညတျသာအချို့သောအခြေအနေများ၏စုစုပေါင်းလျှင်ကွပ်မျက်ခံရသည်ဟုစေရန်အသုံးပြုသည်။

disjunction

အဆိုပါယုတ္တိစစ်ဆင်ရေး "OR" - အဆိုပါ algebra ထို့အပြင်အလားတူသော Boolean function ကို၏ပုံစံ။ ဒီ function ကိုအခြားအမည်များကို - ယုတ္တိများအပြင်, ထို disjunction ။ အလားတူပဲ, ယုတ္တိမြှောက်စစ်ဆင်ရေးအဖြစ်, disjunction ary n-, (နှစ်ခုအငြင်းပွားမှုများအပေါ်အခြေခံပြီးတန်ဖိုးကိုတွက်ချက်ရန်) binary ternary သို့မဟုတ်ဖြစ်နိုင်သည်။

ဒီယုတ္တိစစ်ဆင်ရေးများအတွက်အမှန်တရားဇယားသည်တွဲဖက်မှအခြားရွေးချယ်စရာတစ်မျိုးဖြစ်ပါတယ်။ အဆိုပါယုတ္တိစစ်ဆင်ရေး "OR" ဟုအဆိုပါထောက်ပံ့အငြင်းပွားမှုများတို့တွင်အကောင်းဆုံးရလဒ်တွက်ချက်။ Disjunction "မှားယွင်းသော" ဟုအဆိုပါ output ကိုတနျဖိုးအားလက်ခံတွေ့ဆုံ, ဒါမှမဟုတ်အပေါငျးတို့သ input ကို parameters တွေကို 0 င် ( "မှားယွင်းသော") တန်ဖိုးများနှင့်အတူလက်ခံရရှိတဲ့အခါမှသာ 0 င်။ အခြားမည်သည့်ကိစ္စတွင်က output ကဒီ function ကိုမှတ်တမ်းတင်ရန် "စစ်မှန်သော" တန်ဖိုးအားဖြင့်ရရှိသော, ဒါမှမဟုတ် 1. လိမ့်မည်အများဆုံးမကြာခဏထို့အပြင်၏သင်္ချာနိမိတ်လက္ခဏာ ( "အပေါင်း") သို့မဟုတ်နှစ်ခုဒေါင်လိုက် strips တွေအသုံးပြုသည်။ ဒုတိယမူကွဲအများဆုံးပရိုဂရမ်ဘာသာစကားတွေအတွက်ကျယ်ပြန့်ခြင်းနှင့်သင်ရှင်းရှင်းလင်းလင်းဂဏန်းသင်္ချာ၏ယုတ္တိစစ်ဆင်ရေးခွဲခြားရန်ခွင့်ပြုဘာဖြစ်လို့လဲဆိုတော့ပိုမိုနှစ်သက်သည်။

ယုတ္တိစစ်ဆင်ရေး၏အထွေထွေဂုဏ်သတ္တိများ

အခြေခံပညာယုတ္တိဗေဒစစ်ဆင်ရေးပြုလုပ် unary ရှိမရှိ, binary, ternary သို့မဟုတ်အခြားလုပ်ငန်းဆောင်တာ, သူတို့ရဲ့အပြုအမူကိုဖော်ပြရန်ကြောင်းအချို့စည်းမျဉ်းစည်းကမ်းတွေနဲ့ဂုဏ်သတ္တိများမှဘာသာရပ်ဖြစ်ကြသည်။ အထက်ပါ-ဖော်ပြထားယုတ္တိဗေဒလုပ်ဆောင်ချက်များကိုအားဖြင့်သိမ်းယူတစ်ခုမှာထိုကဲ့သို့သောအခြေခံဂုဏ်သတ္တိများအသွားအပြန်ရှိပါတယ်။

ဒီ feature ဟာ permutation function ကို operand တန်ဖိုးကိုမပြောင်းပါဘူးနေရာကြောင်းသေချာ။ အားလုံးအော်ပရေတာကဒီပစ္စည်းဥစ္စာပိုင်ဆိုင်မှုရှိသည်မဟုတ်။ အသွားအပြန်လိုအပ်ချက်များကိုကျေနပ်အောင်သောတွဲဖက်ခြင်းနှင့် disjunction မတူဘဲ, function ကို matrix ကိုမြှောက်၏ မဟုတ်ပါဘူး, ဤစစ်ဆင်ရေးအတွက်အချက်များ၏ပြန်စီစဉ်သည့်အဆိုပါပြောင်းလဲမှုအကျိုးရလဒ်အဖြစ်ပါဝငျလိမျ့မညျ အဆ။

တစ်နောက်ထပ်ရှုထောင့်

မကြာခဏအီလက်ထရွန်းနစ်နှင့် circuitry များတွင်အသုံးပြုသည့်နောက်ထပ်အရေးကြီးတဲ့အင်္ဂါရပ်, ယုတ္တိစစ်ဆင်ရေး De မော်ဂန်ဥပဒေများကိုအားလုံး၏လက်အောက်ငယ်သားဖြစ်ပါတယ်။

ဤဥပဒေများအခြားသုံးပြီးယုတ္တိစစ်ဆင်ရေးကိုဖော်ပြရာတွင်အသုံးပြုသောယုတ္တိ negation function ကိုအသုံးပြုယုတ္တိဗေဒစစ်ဆင်ရေး၏အားလုံးအတွက်ခညျြနှောငျ။ ဥပမာ, တွဲဖက် negation function ကို disjunction negations သီးခြား operands ဖော်ပြနိုင်ပါသည်။ ဤဥပဒေများဟာယုတ္တိစစ်ဆင်ရေး "နှင့်", "OR" နှင့် vzaimovyrazheny အနည်းငယ်မျှသာဟာ့ဒ်ဝဲကုန်ကျစရိတ်နှင့်အတူအကောင်အထည်ဖော်နိုင်ပါသည်။ အတူ ဒါကြောင့်ချစ်ပ်များ၏တွက်ချက်မှုများနှင့်ဖွဲ့စည်းရေးအတွက်အရင်းအမြစ်များကိုကယ်ဖို့သငျသညျခွင့်ပြုအဖြစ်ဒီ feature တိုက်နယ်ဒီဇိုင်းအတွက်အလွန်အသုံးဝင်သည်။