Informatics. логикалык сөздөрдү Convert

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

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

илим логикасы

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

кандай логика менен башталат жана эмне үчүн? Бул ой түрлөрүн жана ыкмаларын иликтейт илим экенин белгилеп кетүү маанилүү. Биз көрүп тургандын бардыгы, угуп же эмне мыйзамдарына баш ийүү. Биз бийиктиктен топту ыргытуу - Ал ар дайым бир мыйзамдарга предмети катары кетет. эртең менен тамактанып, кант жана кургак заттардын заматта аныкталды жергиликтүү мыйзамдарга баш ийүүгө, сууда ээрип кошуп ачытуу. Биз достор менен сүйлөшүп, алардын пландарын айтып: "ал калыбына жатат, мен машине менен келе алышкан эмес.", "Мен жакшы корголгон иш жатам болсо, дипломун алышат" байкатпастан, биз сүйлөшүүлөрдө бардык куруп, ал логика жана анын мыйзамдарына таянат. Демек, илим эмне үчүн логика? Албетте, анын мыйзамдарын билип, алар туш келди жана өзү тобокелге салып иш-аракет жок болгондуктан, так бир иш-чаранын жыйынтыгы аныктай алат.

ой жүгүртүү абдан татаал жараян болсо да, бирок, кээ бир компоненттери, же тескерисинче, түрүн (пикирдин далили бар жардамы менен) деп бөлүүгө болот:

• түшүнүктөр;
• отчет;
• ой жүгүртүү;
• далил.

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

логикалык милдеттери

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

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

Бардыгы болуп беш байламталары бар:

• өзгөртүү (б.а., тескериси, бул иш-милдетин пайдалануу менен, сиз маалымат ала аласыз, карама-каршы мындай: Мен бүгүн киного баруу - Мен бүгүн киного барбай жатам);
• Disjunction (бул милдети көбүнчө ачык-айкын, жөнөкөй жашоо мисал үчүн, ошондой эле логикалык Мындан тышкары аталган: "Мен ооруса же ашказан жарасы бар болсо, анда мен мектепке барбайт", - деп, бул сөз айкашы талаптардын жок дегенде бир эске алынган болсо, чындык );
• бирдикте (көп учурда логикалык көбөйтүү деп айтылган: "Мен идиш-аяк жууп, жана сабактар кылам болсо, анда достору менен чогуу сейилдеп келүүнү" - бул сөз айкашы эки шарт эске алынат, эгерде чыныгы болот);
• жана, кыязы, (-жылы жана логика бул милдети деп аталат менен төмөнкү, тилекке каршы, бул мүмкүн эместей мисал жана өмүр жагдай жалган милдети болот, эгер бир нерсе издөө үчүн, эмне жок, тескерисинче, жумуш, башка учурларда, жана милдети болот чыныгы);
• бирдей (бир же эки Туура же туура эмес болсо, теңдик, биз чындыкты ала жыйынтык).

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

чындык жадыбал

биргеликте

Биринчи сөз айкашы (A)	Экинчи сөз айкашы (B)	Жыйынтык (C)
L	L	L
жана	L	L
L	жана	L
жана	жана	жана

Disjunction

А	The	C
L	L	L
жана	L	жана
L	жана	жана
жана	жана	жана

өзгөртүү

А	The
жана	L
L	жана

мааниси

А	The	C
L	L	жана
жана	L	L
L	жана	жана
жана	жана	жана

бирдей

А	The	C
L	L	жана
жана	L	L
L	жана	L
жана	жана	жана

Мындан тышкары, бир катар көрсөтүлгөн логика жатат белгилей кетүүчү маанилүү 0, чыныгы сөз - чот 1. сиздин ынгайлуулук үчүн, колдонууга жана кошуу же кемитүү белгиси болот. Pay келерин жана чындык экенин жана жалган дин менен чыныгы сөз менен жана долбоорлоруна үстөл кыйла менен жана каттар "L", "мен" деген терминдер тиешелүүлүгүнө жараша.

курулуш

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

• Латын тамгалары менен белгиленет өзгөрмөлөр;
• милдетин көрсөтүп турат жана бири-бири менен жөнөкөй сөздөрдү байланышы бар аяттар.

Логика алгебрасынын тилинде бир сөз айкашы жазганбы? Бул үчүн бир нече иштерди жасоо керек:

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

Биз сунуш карап жөнөкөй мисал: (Z * F = 5, же Z * F = 4) жана (Z * F сырткары барабар эмес, 5 же Z * F сырткары барабар эмес 4). Бул өзгөрмөлүү алмаштыруу үчүн зарыл 2. Андан кийин, биз сөз айкашы (4 же 5 = 4 = 4) жана (4 5 же 4 4 барабар эмес, бирдей эмес) алышат. (Z же F) жана (Z же F эмес): аракеттен кийин, биз сөз менен, алардын ортосунда байланыш, төмөнкүдөй даяр болушу керек баса керек. Андан кийин, баалуулуктар отчетту алмаштыруучу, бул жазууну кайра керек. Мындай учурда сөз чын болсо, анда 1 алмаштыруу зарыл, башкача - 0. Биз алууга: G = 1 жана 1. зарыл эсептөөлөр кийин, биз натыйжаны алуу: G = 1, башкача айтканда, татаал сөз айкашы туура эмес.

мыйзамдар

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

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

Байланыш мыйзам математика, ал өтө жөнөкөй эсимде. А + Б = B + A, A * B = B * A.

Associative мыйзам - (D + E) + F = (D + F) + E, ага ушул эле мыйзам логикалык көбөйтүү тиешелүү.

Жайылтуу мыйзам - бул башталгыч ачуучу кашаа болуп саналат. Мисалы: (А + Б) * C = (A * C) + (B + C).

Де-Морган мыйзамы: жок (Ж + Б) = * Неа Neuve эмес, (A * B) + = HEA HEB, HEA AimplikatsiyaV = + B, жок (AimplikatsiyaV) = A * Neuve.

Idempotency: X + X = C же C = C *.

константалар шарт: X = 1 + 1 + X 0 = X; X = X * 1, X * 0 = 0.

Кийинки биз төмөнкү менен карама-каршы келген мыйзам тандап, биз төмөнкү айта алабыз: V * = 0 Neuve.

Жылы логика бар, ошондой эле мыйзам кабыл алынышы, ошол тажрыйба болуп саналат: C + (C * D) = C же C * (C + D) = C.

Бул логикалык сөздөр өзгөртүү мыйзам өзгөчө да унутпоо зарыл: (P * E) + (тормаган * E) = E же (C + E) (тормаган + E) = E.

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

Эрежелер жана мисалдар менен өзгөртүп түзүү жана жөнөкөйлөтүү, иш тартибин, мыйзамдары

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

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

Биз берилет: C + (тормаган * E). Бул сөздөр жөнөкөйлөтүү зарыл. биринчи кезекте, биз кичине ачууну сунуш. Андан кийин биз төмөнкү сүйлөмдү алуу: (C + тормаган) * (C + E). Бул эки карама-каршы билдирүүлөрүнөн логикалык толуктоо бизге чындыкты берем деп дароо белгилей кетүү керек. Биз натыйжасында алууга кандай: 1 * (C + E). Дагы кичине көрүү: (1 * C) + (1 + E). Эми дагы бир жолу мыйзамдарды эстеп, жооп алганга: C + E.

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

кыйынчылыктарга жолугушуу

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

Үч бала (Кирилл, Антон жана сөөк) бир бөлмөдө болгон. Бир маалда апам ашканадан чыккан сынган чөйчөк үнүн угуу менен гана өткөрүшчү. Ал анын уулдарына чуркап барып, мындай деди: "Муну ким кылды?" жообу төмөнкүчө болду: Кирилл чөйчөк жок, сөөктөрүмдү талкалады деп айтты, жана Антон; Антон ал Кирилл ордуна Костя кылып мындай деди: Костя күнөөлүү Антон эмес экенин айтат. Биз ага кимдир бирөө эркек балдар бири энесине чындыкты айтып жатканын билет. Сиз чөйчөктү сындырып ким билиш керек.

Албетте, жооп Кирилл жана Антон бири-бирине, ошондой эле Сирил Костя карама-каршы келет. Ошондуктан, алар экөө тең туура боло албайт. Биз төмөнкүдөй корутунду чыгарат - Антон жана Костя чындыкты айтып, Кирилл сынган чөйчөктөн кылмышкер болуп саналат. Бул ыкма ой жүгүртүү колдонулган. Азыр бир гана өзгөртүү билдирүүсүнүн ыкмасы менен, бир эле маселени чечүү үчүн кыдырууда. баштоо үчүн, биз кыскартып киргизүү:

• KR - чөйчөк Сирил талкаланды;
• Ал - чөйчөк Антон талкаланды;
• K - сөөк күнөлүү.

бала мындай деп жооп берди:

• Кирилл - Neck, A;
• Антон - Necro, K;
• Костя - Жок.

Сунуш көрсөтүп, Костя калп болсо, жана Кирилл жана Антон чындыкты айтып берди: Кирилла * A = 1 K * Барбарики = 1 жана A = 1. сөздөр айландырууда, биз бир-бирине карама-каршы туруп: 0 = 1. Биздин божомол туура эмес, ал башка гипотезаларды текшерүү үчүн зарыл болгон.

Биз Кирилл калпычы деп болжолдой турган болсок, жана Антон жана Костя чындык анын энесин айтып, анда төмөнкү сөздөр: K * Неа = 1 жана К = 1 * Necro жана Неа = 1. Биз КР * * * * * Неа Кирилла = 1 алууга сөздөр жөнөкөйлөтүү. Бул биздин божомол, чынында эле, туура, Сирил бир чыны сынып, энесине калп деп божомолдоого болот.

чечүү Tabular ыкмасы

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

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

• Дмитрий Париж, Рутин жана жубайы Людмила Путин буга чейин болушкан эмес, - Римде;
• Парижде жашаган бир кино жаккан жок;
• Римде жашаган бир киши, үн болуп калды;
• балет менен Людмила жийиркенүү.

маселени чечүү үчүн, кичинекей үстөл жаса керек.

Албания	Италия	Америка Кошмо Штаттары		Бога	балет	кино
			Дмитрий
			Анатолий
			Людмила

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

• Дмитрий Римде жашаган жана үн болуп калды;
• Анатолий Парижде жашаган жана балет отурган;
• Людмила - Кошмо Штаттарда жашаган киносунун бир чоң күйөрманы.

Чыныгы сөз Сураныч, чындыкты дагы бир жолу көңүл деген сан менен белгиленген 1 жана жалган - 0 Бул белгилер менен бир дасторкондо толтургула, силерди тез эле силерди кызыктырган суроого жооп таба аласыз.

Mikroskhematika

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

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

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

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

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

бисмиллах үлгүсүн жөнөкөйлөтүү №1

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

Сиз логикалык сөздөрдү кайра болуш эстеп убакыт болгон эмес болсо, анда бир аз "эскертүү" болот. Жакында сиз ага келүүгө мүмкүн эмес экенин көрөбүз.

Мисалы: (X + T) * (Hex + T) (M +, бир да). сокурдук менен алып салуу эмес, мисалы, аларды чечиш үчүн өзүбүз да аракет кылышат.

биз төмөнкү коюулушу жөнөкөйлөтүү ичинде: T * (жок M +) = (T * M) + (T * Нет) = (T * ПСИ) + 0 = (T + 0) * (M + 0) T = * M.

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

бисмиллах үлгүсүн жөнөкөйлөтүү №2

Бул бөлүмдө, биз сөз айкашы (E + H) * (E + K) жөнөкөйлөтүү сунуш. Келгиле, этап менен чечүү карап көрөлү. биринчи кезекте, биз, кашаа ачуу математика алгачкы багытын унутпашыбыз керек. Натыйжада, биз төмөнкү сүйлөмдү алуу: E + E * E * N * K * E * N + K. Андан тышкары, бул сөз айкашы E * E бир бөлүгү болуп саналат, укук idempotency эстеп, кирип өзгөртүп белгилешет: E + E * K * N * E * N + K. Кийинки этап E + E * өзгөрмөлүү E жана мүлктүк bracketing колдонуп менен өзгөртүп түзүлсүн: A + 1 = 1. Биз төмөнкү сүйлөмдү алуу: E + H + H * E * K. бир окшош акыркы чекити төмөнкүдөй чарчы E. Натыйжада чыгып алып, биз жооп: E + H * К.

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