Dastur o’zgaruvchilar soni birdan beshgacha bo’lgan mantiqiy funktsiyalarning haqiqat jadvallarini olish uchun mo’ljallangan. Ning mantiqiy (mantiqiy) funktsiyasi n o’zgaruvchilar y = f (x1, x2,…, xn) barcha o’zgaruvchilar bilan funktsiya va funktsiyaning o’zi faqat ikkita qiymatni olishi mumkin: 0 va 1.
Mantiqning asosiy funktsiyalari
Faqat ikkita 0 va 1 qiymatlarni qabul qila oladigan o’zgaruvchilar deyiladi mantiqiy o’zgaruvchilar (yoki shunchaki o’zgaruvchilar). E’tibor bering, x mantiqiy o’zgaruvchisi 0 raqami ostida noto’g’ri va 1 raqami ostida to’g’ri bo’lgan ba’zi bayonotlarni anglatishi mumkin.
Mantiqiy funktsiya ta’rifidan kelib chiqadiki, funktsiya n o’zgaruvchilar xaritalash Bn ga B, bu to’g’ridan-to’g’ri deb nomlangan jadval bilan aniqlanishi mumkin haqiqat jadvali.
Mantiqning asosiy funktsiyalari ikkita o’zgaruvchining funktsiyalari z = f (x,y).
Ushbu funktsiyalarning soni 24 = 16. Keling, ularni qayta nomlaymiz va tabiiy tartibda joylashtiramiz.
Keling, ushbu funktsiyalarni batafsil ko’rib chiqaylik. Ulardan ikkitasi f0 = 0 va f15 = 1 doimiylardir. F3, f5, f10 va f12 funktsiyalari asosan bitta o’zgaruvchining funktsiyalari hisoblanadi.
Ikki o’zgaruvchining eng muhim funktsiyalari maxsus nomlar va belgilarga ega.
1) f1 – bog’lanish (va funktsiya)
E’tibor bering, birikma aslida odatiy ko’paytma (nol va birlarning). Ushbu funktsiya x&y bilan belgilanadi;
2) f7 disjunktsiya (yoki funktsiya). U V tomonidan belgilanadi.
3) f13 ma’no hisoblanadi (quyidagi). Bilan belgilanadi – >.
Bu juda muhim funktsiya, ayniqsa mantiqda. Buni quyidagicha ko’rish mumkin: agar x = 0( ya’ni x “yolg’on”), keyin bu faktdan “yolg’on” va “to’g’ri” ni chiqarish mumkin (va bu to’g’ri bo’ladi), agar y = 1 (ya’ni y “to’g’ri”), keyin haqiqat chiqariladi ham “yolg’on”, ham “haqiqiy” dan va bu ham to’g’ri. Faqat “haqiqatdan yolg’on” degan xulosa noto’g’ri. E’tibor bering, har qanday teorema har doim ushbu mantiqiy funktsiyani o’z ichiga oladi;
4) f6-kiritilgan Module 2. U aylanada “+” belgisi yoki “+” belgisi bilan belgilanadi.
5) f9 ekvivalentlik yoki o’xshashlikdir. Bu f9 = 1 agar va faqat x = y bo’lsa. u x ~ y bilan belgilanadi.
6) f14 Schaeffer ning dash emas. Bu funksiya ba’zan ” emas va “deb ataladi (chunki u bog’lovchining inkoriga teng). U x|y bilan belgilanadi.
7) f8-Pirsning o’qi (ba’zan bu funktsiya Lukasevich zarbasi deb ataladi).
Qolgan uchta funktsiya (f2 , f4 va f11) maxsus belgiga ega emas.
E’tibor bering, mantiq ko’pincha funktsiyalarni funktsiyalardan, ya’ni yuqoridagi funktsiyalarning superpozitsiyalaridan ko’rib chiqadi. Bunday holda, harakatlar ketma-ketligi (odatdagidek) qavslar bilan ko’rsatiladi.
Foydalanuvchi qo’llanmasi
- Foydalanuvchi tomonidan kiritilgan barcha belgilar kalkulyatorda ko’rsatiladi
- Ilova interfeysida taqdim etilgan belgilar operandlaridan tashqari, klaviatura kiritish ham mumkin
- Agar foydalanuvchi funktsiyani kiritishda xatoga yo’l qo’ygan bo’lsa, oxirgi kiritilgan belgilar Backspace tugmachasini bosib o’chirilishi mumkin
- Ilova kiritilgan qiymatlarning to’g’riligini avtomatik tekshirishni qo’llab-quvvatlaydi. Ya’ni, xato bo’lsa, belgi displeyda ko’rinmaydi, aksincha, u tebranadi va foydalanuvchiga xato qilinganligini bildiradi
- Foydalanuvchi ifodasini kiritishni tugatgandan so’ng, haqiqat jadvalini ko’rsatish uchun tasdiqlash tugmasini bosishingiz kerak
- Agar hisoblangan qiymatlar juda ko’p bo’lsa, qolgan variantlarni ko’rish uchun jadvalni pastga siljitish mumkin
- Yuqorida, ishora sifatida foydalanuvchi tomonidan kiritilgan ifoda ko’rsatiladi
- Asosiy sahifaga qaytish uchun jadvalning istalgan joyini bosing
