Informatika: haqiqat jadvali. Haqiqat jadvallarini yaratish

Bugun biz kompyuter fanlari mavzusini muhokama qilamiz. Haqiqat jadvali, funktsiyalar navi, ularni amalga oshirish tartibi bizning asosiy savollarimiz bo'lib, maqolada javoblarni topishga harakat qilamiz.

Odatda bu kurs o'rta maktabda o'qitiladi, ammo ko'plab talabalar ba'zi xususiyatlarning noto'g'ri tushunilishiga sabab bo'ladi. Va agar siz hayotingizni unga bag'ishlasangiz, unda kompyuter fanidan yagona davlat imtihonini topshirmasdan qila olmaysiz. Haqiqat jadvali, murakkab iboralarning o'zgarishi, mantiqiy muammoni echish - bularning barchasi chiptada bo'lishi mumkin. Keling, biz ushbu mavzuni yaxshiroq ko'rib chiqamiz va USE bo'yicha ko'proq ball to'plashga yordam beramiz.

Logikning mavzusi

Kompyuter fanlari qanday? Haqiqat jadvali - uni qanday qilib qurish mumkin? Nima uchun mantiq fani kerak? Biz ushbu savollarning barchasiga javob beramiz.

Informatika - bu ajoyib bir mavzu. U zamonaviy jamiyat uchun qiyinchiliklarga olib kelolmaydi, chunki bizni o'rab turgan narsa, boshqacha aytganda, kompyuterga tegishlidir.

Mantiq fanining asoslari o'rta maktab o'qituvchilari tomonidan kompyuter fanlari darslarida beriladi. Haqiqat masalar, vazifalar, iboralarni soddalashtirilishi - bularni kompyuter fanining o'qituvchisi tushuntiradi. Bu ilm faqat hayotimizda zarurdir. Mana, hamma narsa qonunga bo'ysunadi. Siz to'pni yuqoriga yugurdingiz, u uchib ketdi, keyin esa erga tushdi, fizika qonunlari va tortishish kuchi tufayli sodir bo'ldi. Onam osh oshpaz va osh tuzi qo'shadi. Biz uni eganimizda nima uchun don olmaymiz? Oddiyki, suvda erigan tuz kimyoviy qonunlarga bo'ysunadi.

Keling, gapirishga e'tibor bering.

• "Agar mushukni veterinariya shifoxonasiga olib boradigan bo'lsam, uni emlash bo'ladi".
• "Bugun juda og'ir kun bo'ldi, chunki tekshirish keldi".
• "Universitetga bormoqchi emasman, chunki bugungi kun kollokvium bo'ladi" va boshqalar.

Siz aytgan hamma narsa, albatta, mantiq qonunlariga bo'ysunadi. Bu biznes uchun va do'stona suhbat uchun ham amal qiladi. Shuning uchun mantiqiy qonunlarni tasodifiy harakat qilmaslik uchun emas, balki voqealar oqibatida ishonch hosil qilish uchun tushunish kerak.

Vazifalar

Agar haqiqat jadvalini siz uchun taklif etilgan muammoni tuzish uchun siz mantiqiy funktsiyalarni bilishingiz kerak. Bu nima? Mantiqiy funktsiyaning ba'zi bir o'zgaruvchilari (haqiqiy yoki noto'g'ri) va funktsiyaning juda katta qiymati bizga quyidagi savolga javob berishi kerak: "Bu ifoda haqiqiy yoki noto'g'ri?".

Barcha iboralar quyidagi qiymatlarni oladi:

• Haqiqat yoki yolg'on.
• Yoki L.
• 1 yoki 0 ga teng.
• Qo'shimcha yoki minus.

Bu erda sizga qulayroq bo'lgan uslubni afzal ko'rsating. Haqiqat jadvalini tuzish uchun o'zgaruvchining barcha birikmalarini sanab o'tishimiz kerak. Ularning soni quyidagi formula bilan hisoblanadi: 2 n kuchiga. Hisoblash natijasi mumkin bo'lgan birikmalarning soni, bu formula bo'yicha o'zgarmaydigan n bu holatda o'zgaruvchan sonlarni bildiradi. Ifoda juda ko'p o'zgaruvchiga ega bo'lsa, unda siz kalkulyatordan foydalanishingiz yoki o'zingiz uchun kichik stol yaratishingiz mumkin.

Umuman olganda, mantiqan, iboralarni birlashtirgan etti funktsiya yoki ishoratlar mavjud:

• Ko'paytirish (birgalikda).
• Qo'shish (disjunction).
• Natija (ta'sir).
• Ekvivalentlik.
• Inversion.
• Schaeffer Bar.
• Arrow Pirs.

Ro'yxatda keltirilgan birinchi operatsiya "mantiqiy ko'payish" deb nomlanadi. * Yoki * belgisi bilan teskari tasdiq belgisi sifatida grafik bilan belgilanishi mumkin. Bizning ro'yxatimizdagi ikkinchi operatsiyani bajarish mantiqiy qo'shimcha bo'lib, u grafik belgisi bilan belgilanadi, +. Ta'sir qilish mantiqiy natijalar deb ataladi, natijaga ta'sir ko'rsatadigan o'q ko'rsatiladi. Ekvivalentlik ikki tomonlama o'q bilan ifodalanadi, funktsiyaning qiymatlari faqat "1" yoki "0" qiymatiga ega bo'lgan hollarda haqiqiy qiymatga ega. Inversiyaga mantiqiy rad etish deyiladi. Schaeffer paneli birlashuvni bekor qiluvchi funktsiya deb ataladi va Pearce o'qi ajratishni rad qiladigan funksiya.

Asosiy ikkilik funktsiyalar

Haqiqat jadvali vazifada javobni topishga yordam beradi, ammo buning uchun o'zaro funktsiyalar jadvallarini eslab qolish kerak. Ushbu bo'limda ular taqdim etiladi.

Qo'shish (ko'paytirish). Agar ikkita so'z to'g'ri bo'lsa, unda natija to'g'ri, boshqa barcha holatlarda biz yolg'on gapiramiz.

Jadvalda ko'rinib turganidek, siz uni bilib oldingiz, keyin uni barcha formulalarga olib kelishning hojati yo'q. Yuqoridagi rasmda qaysi holatlarda natijaga teng ekanligini ko'rishingiz mumkin.

Natija - mantiqiy qo'shimcha bilan yolg'on, biz faqat ikkita noto'g'ri kiritilgan ma'lumotlarga nisbatan bor.

Mantiqiy natijalar faqatgina to'g'ri bo'lgan holatlarda noto'g'ri natija beradi va natijasi noto'g'ri. Bu erda siz hayotdan o'rnak olishingiz mumkin: "Men shakarni sotib olishni xohladim, lekin do'kon yopildi", shuning uchun shakar hech qachon sotib olinmagan.

Ekvivalentlik faqatgina kirish ma'lumotlarining bir xil qiymatiga ega bo'lgan holatlarda haqiqiydir. Ya'ni, juftliklar uchun: "0; 0" yoki "1; 1".

Invert holatida, har bir narsa ibtidoiy, agar kiritishda haqiqiy ifoda bo'lsa, u noto'g'ri yoki teskarisiga aylantiriladi. Tasvir grafik ko'rinishda qanday ko'rsatilganligini ko'rsatadi.

Schiffer paneli faqat ikkita haqiqiy ifoda bo'lsa, chiqishda noto'g'ri natijaga ega bo'ladi.

Pirsning o'qi holatida, funktsiya faqat kiritishda noto'g'ri ifodalar bo'lsa, to'g'ri bo'ladi.

Mantiqiy operatsiyalarni amalga oshirish uchun nima qilish kerak

Haqiqat jadvallarini qurish va ifodalarning soddalashtirilishi faqat operatsiyalarning tartibi to'g'ri bo'lganda amalga oshirilishi mumkinligiga e'tibor bering. Unutmangki, qanday tartibda amalga oshirilishi kerak, to'g'ri natijalarni olish juda muhimdir.

• Mantiqiy rad etish;
• Ko'paytirish;
• Bundan tashqari;
• Xulosa;
• Ekvivalenti;
• Ko'paytirishni inkor etish (Shefferning boshlig'i);
• Qo'shilishni inkor qilish (o'qni Peirce).

Misol №1

Endi biz 4 o'zgaruvchiga haqiqat jadvalini yaratish misolini ko'rib chiqishni taklif qilamiz. Tenglama uchun qaysi hollarda F = 0 ekanligini bilish kerak: not A + B + C * D

Bu vazifaga javob quyidagi kombinatsiyalar ro'yxatiga kiritiladi: "1; 0; 0; 0"; "1; 0; 0; 1" va "1; 0; 1; 0". Ko'rib turganingizdek, haqiqat jadvalini yaratish juda oson. Yana bir bor e'tiboringizni tadbirlar tartibiga qaratmoqchiman. Aniq ishda u quyidagilar edi:

1. Birinchi oddiy iborani qaytarish.
2. Uchinchi va to'rtinchi ifodalarning kontseptsiyasi.
3. Ikkinchi ifodani ajratish oldingi hisob-kitoblar natijalari bilan.

Misol №2

Keling, haqiqat jadvalini tuzishni talab qiladigan yana bitta vazifani ko'rib chiqamiz. Informatika (maktab kursidan olingan misollar) vazifalar sifatida mantiqiy vazifalarni bajarishi mumkin. Ulardan birini qisqacha ko'rib chiqing. Quyida ma'lum bo'lsa, Vanya to'pni o'g'irlashda aybdor bo'lgan:

• Agar Vanya o'g'irlik qilmasa yoki Petya o'g'irlik qilsa, Seryozha o'g'irlikda ishtirok etgan.
• Vanya aybdor bo'lmasa, unda Sergey to'pni o'g'irlamadi.

Quyidagi yozuvni keltiramiz: - Vanya to'pni o'g'irladi; P Petya o'g'irlagan; S - Seryoza o'g'irlab ketildi.

Ushbu shartga ko'ra, biz tenglamani shakllantirishimiz mumkin: F = ((non + P) sintezi C) * (ta'sir ko'rsatmaydi). Funktsiya haqiqiy qiymatga ega bo'lgan variantlarga muhtojmiz. Keyinchalik, biz jadval yaratishimiz kerak, chunki bu funktsiya 7 ta amalni bajaradi, keyin ularni qoldiramiz. Faqat kiritishni va natijani kiritamiz.

o'rniga musbat va manfiy yordamida «0» lari va "1", biz bor, bu muammo unutmang. Bundan tashqari, qabul qilinadi. Biz kombinatsiyasi, F = + manfaatdormiz. ularni tahlil so'ng, biz quyidagi xulosaga mumkin: Vanya F qiymati + oladi, barcha hollarda bo'lgani kabi, to'pni o'g'irlik ishtirok va ijobiy ahamiyatga ega.

misol №3

Endi biz birikmalar F = 1 sonini topish uchun sizga taqdim etamiz. quyidagicha tenglama bo'ladi: F = Nea + B * A + Neuve. Haqiqat bir stol:

A: 4 birikmasi.