ЭЭМ жөнөкөй логика аракеттер

бинардык окутуп, компьютер илим изилдей баштаган адам саны системасы. Бул логикалык иш эсептөө үчүн колдонулат. компьютер илими төмөнкү абдан жөнөкөй логикалык иштерин карап көрөлү. Анткени, силер бул тууралуу кандай ойдо болсо, алар эсептөө жана аппараттардын логикасын түзүү үчүн пайдаланылат.

тануу

майда-чүйдөсүнө чейин эске баштап чейин конкреттүү мисалдар негизги Тизмеге логикалык иш компүтердеги:

• баш тартуу;
• кошуу;
• көбөйтүү;
• сактоо;
• бирдейлиги.

Ошондой эле, логика иштерин изилдөө баштаганга чейин Computer Science "0" дайындалган жалган деп, бирок чындык "1".

Ар бир иш-аракет, кадимки математика сыяктуу, компьютер илими колдонулган логикалык иш-аракеттеринин төмөндөгүдөй белгилер: ¬, V, &, ->.

Ар бир иш-аракет ар кандай сандар менен түшүндүрүүгө мүмкүн 1/0, же жөн гана логикалык билдирген. бир өзгөрмө колдонуу жөнөкөй иш менен математикалык логиканын карап баштайт.

Логикалык тескериси - өзгөртүү операция. чындык, өзгөртүү натыйжасы болуп саналат: - - жалган Жыйынтык болсо алгачкы билдирүү болуп саналат. Тескерисинче, эгерде алгачкы сөз - жалган, анда жыйынтыгында бир өзгөртүү болуп калат, - чындык.

Бул сөздөрдү жазып жатканда төмөнкү белгисин "¬A" колдонушат.

кандайдыр бир баштапкы маалыматтары боюнча иш-аракеттердин бардык мүмкүн болгон натыйжаларын көрсөтөт бир район - Биз чындыкты үстөл берет.

баштапкы сөздөр бар болсо да, Ал - чындык (1), анда анын тескериси жалган (0) болуп саналат. Ал эми, эгерде алгачкы сөздөр - жалган (0), анда анын тескериси - чыныгы (1).

толуктоо

калган иштери эки өзгөрмө талап кылат. Билдирет бир сөз айкашы - Экинчи - Б. логикалык амалдар менен компьютер Өкүмдардын тышкары иштөө (же Disjunction), же сөз "же", же "V" белгиленген тарабынан дайындалган жазууда. маалыматтарды жана эсептөөлөрдүн жыйынтыгында мүмкүн болгон ыкмаларды жаз.

1. E = 1, п = 1 болсо, анда E а н = 1. эки сөздөр чын болсо, анда алардын Disjunction да ушуну айтууга болот.
2. E = 0, п = 1, акыры E V = H 1 E = 1, H = 0 болсо, анда E V N = 1. туюнтмаларды, жок эле дегенде, бир нерсе туура болсо, анда аларды кошумча натыйжасы да ушуну айтууга болот.
3. E = 0, H = 0, натыйжасы E V H саналат = 0. да сөздөр жалган болсо, анда алардын суммасы да - калп.

болуш үчүн, биз чындык үстөл түзөт.

көбөйтүү

Мындан тышкары, иш менен кылган мамилесинен кийин, көбөйтүү (бирдикте) көчүп. Биз Мындан тышкары, жогоруда берилген эле белгилерди пайдаланууга. логикалык көбөйүү жазып жатканда "&" белгиси же катында "мен" менен белгиленет.

1. E = 1, п = 1 болсо, анда E & H = 1. эки сөздөр чын болсо, анда алар биргеликте - чындык.
2. Эгер сөздөр бир аз дегенде - жалган, анда логикалык көбөйтүү натыйжасы да калп.

• E = 1, N = 0, E & H = 0 болот.
• E = 0, п = 1 болсо, анда E & H = 0.
• E = 0, H = 0, E & H = 0 жалпы.

жыйынтык

логикалык ырааттуулугу операция (мааниси) - жөнөкөй математикалык логиканын бир. Бул бир аксиома негизделген - чындык жалган эмес, болот.

1. E = 1, N =, Е үчүн -> N = 1. Эгерде жубайлар сүйүү болсо, анда алар өпсөм болобу - чындык.
2. E = 0, п = 1 болсо, анда E -> N = 1. түгөй талкалайт, жок болсо, алар өпсөм болобу - да чындык болушу мүмкүн.
3. E = 0, H = 0, бул E -> N = 1. жуп сүйүү жок болсо, анда алар өөп жок - да ушуну айтууга болот.
4. E = 1, п = 0, натыйжасы E болот -> N = 0 болсо, жуп сүйүү, алар өөп эмес, - калп.

Чындыкты дасторкон алып эле математикалык амалдарды аткаруу көмөктөшүү.

теңдик

акыркы иш логикалык ким теңдик же бирдей каралат. текст, ал "... болсо гана ..." деп аталат. Бул түзүү негизинде биз бул баштап бардык мисалдарды жазгыла.

1. A = 1, Б = 1 болсо, анда A≡V = 1. болсо гана адам таблеткаларды ичип ооруп. (Чыныгы)
2. A = 0, Б = 0, натыйжада A≡V = 1. Адам таблеткаларды, андан кийин гана ооруп эмес, иче албай жатат. (Чыныгы)
3. A = 1, Б = 0, A≡V = 0 Жеке таблеткалар, анда эч кандай ооруга гана ичип калды. (Жалган)
4. A = 0, Б = 1 болсо, анда A≡V = 0 Жеке таблетка же болсо гана ооруп ичишет. (Жалган)

касиеттери

Ошондуктан, компьютер илими боюнча жөнөкөй логика ишин карап, алардын кээ бир касиеттерин изилдөө башташы мүмкүн. математика сыяктуу, логикалык амалдар, анын тартиби кайра бар. чоң иш-жылы кашаанын ичинде жүйөлүү сөздөрдү биринчи жолу менен жүзөгө ашырылат. алар кийин, биринчи кезекте, биз баш тартуу жөнүндө, мисалы, бардык баалуулуктарды саны. кийинки кадам бирге эсептөө болуп саналат, анда Disjunction. Ошондо гана тергөө ишин жана, акыр-аягы, бирдей жүзөгө ашырат. Тактоо үчүн кичинекей бир мисалды карап көрөлү.

Ж а B & ¬V -> Ат ≡ А

Төмөнкү иш-аракеттерди жүзөгө ашыруу тартиби.

1. ¬V
2. -Жылы & (¬V)
3. А V (V & (¬V))
4. (A V (B & (¬V))) -> B
5. ((A V (V & (¬V))) -> B) ≡A

Бул мисал чечүү үчүн, биз жайып чындык дасторкон куруу керек болот. жаратылган болгондо, мамычалар жакшы эле тартипте жүзөгө ашырылат турган жана иш-аракеттер боюнча жайгаштырылат экенин унутпа.

Биз көрүп тургандай, үлгү чечимдин натыйжасы акыркы мамыча болуп калат. чындык стол кандайдыр бир башаты болушу мүмкүн болгон маалыматтар менен көйгөйдү чечүүгө жардам берип келет.

жыйынтыктоо

Бул макалада мен, мисалы, компьютер илим катары математикалык логиканын түшүнүктөр айрым талкууланды, логикалык амалдардын касиеттери, - өз алдынча логикалык амалдар эмне. Кээ бир жөнөкөй мисал, бул ишти жөнөкөйлөтүп, математикалык логика жана чындык үстөл маселелерди чечүү үчүн берилди.