ယုတ္တိအသုံးအနှုန်းတွေ၏အမှန်တရားကျောက်ပြားကိုဆောက်လုပ်တစ်ခု algorithm ကို

ယနေ့ဤစာတမ်းထဲမှာအသေးစိတ်ယုတ္တိအသုံးအနှုန်းတွေတစ်အမှန်တရားစားပွဲပေါ်မှာဆောက်လုပ်များ၏ပြဿနာဆွေးနွေးကြပါလိမ့်မယ်။ ဤပြဿနာကိုနှင့်အတူမကြာခဏကွန်ပျူတာသိပ္ပံအတွက်စုစည်းပြည်နယ်စာမေးပွဲဖြေဆိုပေးသူကျောင်းသားများကြုံတွေ့။ သငျသညျအမှနျတရားကျောက်ပြားကိုဆောက်လုပ်များအတွက်လိုအပ်သောဥပဒေများ, စစ်ဆင်ရေးများနှင့်စည်းမျဉ်းများကိုသိလျှင်တကယ်တော့ဒါခေါ် Boolean algebra ရှုပ်ထွေးမဟုတ်ပါဘူး။ ဤရွေ့ကားယနေ့ကျွန်ုပ်တို့လုပ်ဖို့သွားကြသည်မေးခွန်းများကိုဖြစ်ကြသည်။

boolean algebra

ယုတ္တိဗေဒ algebra တစ်ဦးရှုပ်ထွေးသောစကားရပ်အတွက်အပြန်အလှန်လည်ပတ်နေသောရိုးရှင်းသောယုတ္တိအသုံးအနှုန်းတွေ, အပေါ်အခြေခံပါတယ်။ Boolean algebra နှစ်ခု binary စစ်ဆင်ရေးပါဝင်သည်သတိပြုပါ: (အသီးသီးနှင့်တွဲဖက်၏ disjunction) ထို့ပြင်နှင့်မြှောက်; တစ်ဦး unary - ပြောင်းပြန်လှန်။ အားလုံးရိုးရှင်းတဲ့စကားရပ် (ကရှုပ်ထွေးသောယုတ္တိစကားရပ်၏ဒြပ်စင်) နှစ်ခုတန်ဖိုးများများထဲမှယူ: "1" သို့မဟုတ် "0 င်", "စစ်မှန်သော" သို့မဟုတ် "အယူမှား", "+" သို့မဟုတ် "-" အသီးသီး။

ယုတ္တိဗေဒ၏ algebra အနည်းငယ်အတော်လေးရိုးရှင်းတဲ့ axioms အပေါ်အခြေခံသည်:

• Associates;
• အသွားအပြန်ကား,
• စုပ်ယူမှု;
• ဖြန့်ဖြူး;
• ထို့ပြင်။

သင်တို့သည်ဤဥပဒေများနှင့်လုပ်ငန်းဆောင်တာများ sequence ကိုသိလျှင်, ယုတ္တိအသုံးအနှုန်းတွေတစ်အမှန်တရားစားပွဲပေါ်မှာတည်ဆောက်ခြင်းဆိုအခက်အခဲများဖြစ်ပေါ်စေလိမ့်မည်မဟုတ်ပေ။ စစ်ဆင်ရေးတင်းကျပ် sequence ကိုဖျော်ဖြေရမည်ဖြစ်သည်ကွောငျးသတိရပါ: သာထို့နောက် negation, မြှောက်, ထို့အပွငျ, အကျိုးဆက်, ညီမျှ, Schiffer သို့မဟုတ်ယုတ္တိမရှိသလိုစစ်ဆင်ရေးဘားဆက်လက်လုပ်ဆောင်မယ်။ စကားမစပ်, နောက်ဆုံးနှစ်ခုရဲ့လုပ်ဆောင်ချက်တွေကိုအဘို့သူတို့တည်ရှိသည့်အတွက်နိုင်ရန်အတွက်သူတို့ကိုအကောင်အထည်ဖော်ရန်ဦးစားပေးအဘယ်သူမျှမစည်းမျဉ်းစည်းကမ်းတွေ, ဖြစ်ကြသည်။

စားပွဲတက်ဆွဲ၏စည်းကမ်းများ

ယုတ္တိအသုံးအနှုန်းတွေတစ်အမှန်တရားစားပွဲပေါ်မှာဆောက်လုပ်အများအပြားဖြေရှင်းကူညီပေးသည် ယုတ္တိပြဿနာများ ပြီးရှုပ်ထွေးအခုတော့ဒီကြီးမားတဲ့ဥပမာဖို့ဖြေရှင်းချက်ကိုရှာပါ။ ဒါဟာသူတို့ရဲ့စုစည်းအချို့စည်းမျဉ်းစည်းကမ်းတွေရှိပါတယ်သည်ဟုထုတ်ပြန်ချက်တွင်ဖော်ပြထားသည်ကျိုးနပ်သည်။

စနစ်တကျတဲ့ယုတ္တိစားပွဲပေါ်မှာစေနိုင်ရန်အတွက်ကြောင့်အတန်း၏နံပါတ်ဆုံးဖြတ်ရန်စတင်ရန်လိုအပ်ပေသည်။ ထိုသို့ပြုမှဘယ်လိုနေသလဲ? ရှုပ်ထွေးပြီးစကားရပ်ကိုတက်စေ variable တွေကိုများ၏အရေအတွက်ကိုရေတွက်ပြီးလျှင်, ရိုးရှင်းတဲ့ပုံသေနည်းကိုသုံးပါ: ပါဝါဎမှတစ်ဦးက = 2 ။ နှင့် - ဒီအမှန်တရားအားဖြင့်ပြုစု table ထဲမှာတန်းစီများ၏အရေအတွက်သည်ဎ - ရှုပ်ထွေးပြီးယုတ္တိစကားရပ်၏အစိတ်အပိုင်းတစ်ခုဖြစ်ကြောင်း variable တွေကိုများ၏အရေအတွက်ဖြစ်ပါတယ်။

ဥပမာ: ရှုပ်ထွေးသောစကားရပ်ပြီးတော့မကောင်းတဲ့အမှတ်အသားတတိယဒီဂရီ built-in ရမည်ဖြစ်သည်သုံး variable တွေကို (A, B, C) ပါရှိသည်။ B ကကျွန်တော်ရှစ်လိုင်းများရပါလိမ့်မယ်အမှန်တရားစားပွဲပေါ်မှာဖြစ်ပါတယ်။ ကော်လံ၏ခေါင်းစဉ်ကိုတဦးတည်းလိုင်းချက်ထည့်ပါ။

ထို့နောက်ကျွန်ုပ်တို့စကားရပ်မှဖွင့်နှင့်ဖျော်ဖြေလုပ်ရပ်များ၏အမိန့်ကိုဆုံးဖြတ်ရန်။ မိမိတို့အဘို့ သာ. ကောင်း၏အလို့ငှာတစ်ဦးခဲတံအမှတ်အသား (ဒါကြောင့်အပေါ်တဦးတည်းနှစ်ဦးနှင့်) ။

ကျနော်တို့စစ်ဆင်ရေး၏နံပါတ်တွက်ချက်နောက်တစ်နေ့ခြေလှမ်း။ ရရှိလာတဲ့အရေအတွက်ကို - ကျွန်တော်တို့ရဲ့ table ထဲမှာကော်လံ၏နံပါတ်။ variable တွေကိုများ၏ဖြစ်နိုင်ခြေပေါင်းစပ်ဖြည့်ဖို့, သင့်အသုံးအနှုန်းများတွင်ပါရှိသော variable တွေကိုအဖြစ်ကော်လံပင်နံပါတ်ထည့်သွင်းဖို့သေချာပါစေ။

ယင်းနောက်သင်တို့သည်ငါတို့၏ table ၏ဦးထုပ်ဖြည့်ဖို့လိုပါတယ်။ သငျသညျဤဥပမာတစ်ခုတွေ့မြင်အောက်တွင်။

အခုတော့ဖြစ်နိုင်သမျှပေါင်းစပ်၏အဆာမှဆက်လက်ဆောင်ရွက်။ 000, 001, 010, 011, 100, 101, 110, 111: သုံး variable တွေကိုအဘို့ 00, 01, 10, 11: အောက်ပါအတိုင်းနှစ်ခု variable တွေကို, သူတို့ဖြစ်ကြသည်။

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

နမူနာ

A + B ကို * အေ၏ပြောင်းပြန်လှန်: ကျနော်တို့အခုယုတ္တိစကားရပ်၏စားပွဲတစ်ခုတည်ဆောက်နေ၏စံနမူနာမှန်ကိုစဉ်းစား

1. variable တွေကိုရေတွက်: လိုင်းများ 2. အရေအတွက်: + 1 4 = 5 ။
2. လုပ်ရပ်များ၏သေဒဏ်စီရင်အမိန့်: ပထမဦးဆုံးပြောင်းပြန်လှန်, ဒုတိယတွဲဖက်, disjunction တတိယ။
3. ကော်လံအရေအတွက်: + 2 3 = 5 ။
4. တစ်သဲလွန်စရယူခြင်းနှင့်စားပွဲပေါ်မှာဖြည့်စွက်။

"ဘယ်နှစ်ယောက်ပေါင်းစပ်ရဲက F = 0" သို့မဟုတ် "က F = 1 combinations ယျ": စည်းကမ်းအတိုင်း, အလုပ်ဤကဲ့သို့သောအသံ။ ပထမဦးဆုံးမေးခွန်းတစ်ခုကိုတွင်အဖြေ - 1, ဒုတိယ - 00, 01, 11 ။

ဂရုတစိုက်သင်ပေးထားသောသောအလုပ်အကိုင်အဖတ်ပါ။ သငျသညျကိုမှန်ကန်စွာပြဿနာကိုဖြေရှင်းပေးနိုင်ပါသည်, သို့သော်တုံ့ပြန်မှုရေးသားခြင်းအတွက်အမှားတစ်ခုလုပ်။ ပြီးတာနဲ့တဖန်ငါအရေးယူဆောင်ရွက်ချက်များကိုအမိန့်ပေးရန်သင့်အာရုံကိုဆွဲ:

• ငြင်းပယ်;
• မြှောက်;
• ထို့အပြင်။

လုပ်ငန်း

တစ်ဦးအမှန်တရားစားပွဲပေါ်မှာဆောက်လုပ်ခက်ခဲတဲ့ယုတ္တိပြဿနာအဖြေကိုရှာဖွေကူညီပေးနိုင်ပါသည်။ သငျသညျဆောင်းပါး၏ဤအပိုင်း၌အနိုင်ဟာယုတ္တိတာဝန်များကို၏အခြေအနေအဘို့အစကားရပ်များနှင့်အမှန်တရား table ၏ပြင်ဆင်မှု၏လုပ်ငန်းစဉ်ကိုလိုက်နာပါ။

1), 7 2) 6, 3), 5, သူတို့ထဲကတချို့သည် 4) 4. ကြေညာချက် "ပြောင်းပြန်လှန် (သေးငယ်တစ်ဦးက 6) + (ထက်နည်း 5)" မှားယွင်းသောဖြစ်ပါသည်:? တစ်ဦး၏လေးတန်ဖိုးများကိုပေးထား

ကျနော်တို့ရဲ့ပထမဦးဆုံးကော်လံ, တန်ဖိုးများ 7, 6, 5 နှင့်အတူဤ sequence ကိုအတွက်လိုအပ်သော 4 ပြည့်စုံလိမ့်မည်။ လာမယ့်ကော်လံမှာတော့ကျနော်တို့မေးခွန်းကိုဖြေရမယ်: "6 ထက်ပြီးတော့လျော့နည်း?" မေးခွန်းမှတူကသာယခုအဖြေအတွက်ဖြည့်တတိယကော်လံ: "5 ထက်ပြီးတော့လျော့နည်း?"

ကျနော်တို့စစ်ဆင်ရေး၏ sequence ကိုဆုံးဖြတ်ပေးပါတယ်။ ငြင်းပယ် disjunction ထက် ကျော်လွန်. ကြာဆိုတာသတိရပါ။ ဒါကြောင့်ကျနော်တို့ကအခြေအနေကိုကိုက်ညီတဲ့သောတန်ဖိုးများအတွက်ဖြည့်ပါလာမယ့်ကော်လံ (ကထက်နည်း 6) မဟုတ်ပါဘူး။ စတုတ္ထကျွန်တော်တို့ရဲ့ပြဿနာများ၏အဓိကမေးခွန်းကိုဖြေပါလိမ့်မယ်။ သငျသညျကိုအောက်တွင်ဇယားကိုဖြည့်စွက်၏ဥပမာတစ်ခုကြည့်ပါ။

ကျနော်တို့တုံ့ပြန်မှုများ၏နံပါတ်များကိုရှိသည်, မိစ္ဆာစကားရပ်တစ်ဦးက = 5 ၏တန်ဖိုးပင်ဖြစ်သည်, ဒီအဖြေကို၏တတိယဗားရှင်းဖြစ်ပါတယ်သတိပြုပါ။