1.1-тема. Логикалык туюнтмалар жана амалдар

«Информатика» сабагынын 8-класс темасы: «1.1-тема. Логикалык туюнтмалар жана амалдар» (60–62-беттер, И. Н. Цыбуля, Л. А. Самыкбаева ж.б.). Логика — туура ойлонуу, ырастоолорду далилдөө жана чечим чыгаруу жөнүндөгү илим; байыркы грек тилинен которгондо «логика» «ой жүгүртүү жөнүндөгү илим» деп которулат. Буль алгебрасы информатиканын негиздеринин бири болуп эсептелет: 1847-жылы англиялык математик Джордж Буль логикалык айтымдарды кыскача символдор менен белгилеген математикалык ыкманы сунуштаган. Жөнөкөй логикалык айтым — бул маанисин жоготпостон туруп кичирейтүүгө же бөлүүгө мүмкүн болбогон айтым. Татаал айтым логикалык амалдарга дал келген логикалык байламталар менен бириккен жөнөкөй айтымдардан турат. Логикалык туюнтма — логикалык амалдар менен бириккен логикалык айтымдар. Негизги логикалык амалдар: дизъюнкция (кошуу, «же»), конъюнкция (көбөйтүү, «жана»), импликация (ээрчүү, «эгерде … анда»), инверсия (тануу, «эмес») жана эквиваленттүүлүк (барабардык, «качан гана»). Чындык таблицасында 0 — жалган айтым, 1 — чындык деп белгиленет.