Computer Science: чындык стол. чындык үстөл куруу

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

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

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

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

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

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

Эми сен сүйлөшүп жолун байкап.

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

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

милдеттери

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

Бардык сөздөр төмөнкүдөй маанилерге ээ:

• Туурабы же туура эмеспи.
• T же F.
• 1 же 0.
• Кошуу же кемитүү.

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

Бардык логика милдеттери сөздөр байлоо жети же байланыштар бар:

• Көбөйтүү (бирдикте).
• Кошулган (Disjunction).
• Жыйынтык (мааниси).
• Бирдей.
• Inversion.
• Sheffer мээге.
• Пирс Arrow.

тизмеде көрсөтүлгөн биринчи операция, "логикалык көбөйтүү" деп аталат. Бул алуу Кене, белгилер & же * түрүндө сунушталган кетүү мүмкүн. Биздин тизмеде экинчи кадам - логикалык Мындан тышкары, сунушталган, кене эле +, ошондой эле көрсөтүлгөн. Башкача тергөө боюнча шарттарына ок, сөөмөйү менен көрсөткөн бир логикалык байланыш бар. Бирдей эки тараптуу жебе менен, милдети да баалуулуктар кодексинин учурларда гана чыныгы мааниге ээ белгиленет "1" же "0" деген баасын алып. Inversion логикалык көрүнүп турат. Sheffer мээге милдети менен бирдикте логикага да четке какты, деп аталат - Disjunction тануу, милдетти.

Негизги бинардык милдеттери

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

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

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

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

жалган натыйжасында гана чындык болуп, натыйжада кийин логикалык натыйжасы - жалган. Сиз жашоодон бир мисал бере алабыз: "Мен кант сатып келген, бирок магазин жабылган" Ошондуктан, шекерди эмес, сатып алган.

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

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

Schiffer бар чыгаруу эки реалдуу сөздөр бар болсо гана жалган натыйжага ээ болот.

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

эмне үчүн логикалык амалдарды аткарууга

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

• логикалык тескериси;
• көбөйтүү;
• кошуу;
• иликтөө;
• бирдей;
• көбөйтүү (Sheffer мээге кан куюлуу) баш тартуу;
• Мындан тышкары баш тартуу (жебе Гай).

мисалы, №1

Биз азыр 4 өзгөрмөлөр бир чындык дасторкон куруу үлгүсүн карап чыгууну сунуштайбыз. Сиз учурлар F = 0 эсептөөлөр менен билиши керек: Неа + B + C * D

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

1. Биринчи жөнөкөй сөз өзгөртүү.
2. үчүнчү жана төртүнчү туюнтмаларды бирдикте.
3. Өткөн эсептөөлөрдүн жыйынтыгы менен экинчи сөздөр Disjunction.

мисалы №2

Азыр биз жадыбалды курууну талап кылат башка жумушка карап. (Мектеп, албетте, мисалдар алынган) Computing болушу мүмкүн логикалык проблемаларды шилтеме болуп саналат. Алардын бирине кыскача карап чыгуу. Диас төмөнкү билген болсо, топту уурулукка күнөөлүү кыл:

• Диас Петир уурдап же уурулук кылган эмес болсо, анда Сергей уурулук катышты.
• Ivan күнөөлүү эмес болсо, ал эми Сергей топ уурдап жок.

Биз белгисин киргизет: I - Ivan топ уурдап; P - Петир уурдап; C - Сергей уурдап алды.

Мындай шартта, биз аркалашат болот: F = ((Nei + R) ою C) * (Nei ою тормаган). Биз милдети чыныгы баасын алып турган ыкмаларды, керек. Андан кийин, бул милдетти көп 7-аракет, бул капарга албай калат, себеби, үстөл түзөт. Биз киргизүү маалыматтарды жана жыйынтыгы боюнча гана кабыл алынат.

Анын ордуна, биз да бул маселе боюнча Белгилей кетсек, "0" белгилер жана "1" плюс жана минус пайдалануу. Ошондой эле кабыл алынат. Биз айкалыштырып, F = + кызыкдар. аларды анализдеп чыгып, төмөнкүдөй жыйынтык чыгарууга болот: Диас F балл + алып бардык учурларда эле, кечени уурдоо катышты, жана оң мааниге ээ.

мисалы №3

Азыр биз сөз айкаштарын санын табуу үчүн F сунуш = 1. барабардык төмөнкүчө чагылдырууга болот: F = Неа + B * A + Neuve. Чындык бир стол:

A: 4 айкалышы.