Mantiqiy funksiyalar uchun qiymatlar jadvali. Funksiyalar soni

1-usul. 
Boshlang'ich o'zgaruvchilarning har bir qiymatlari to'plami ikkilik sanoq 
tizimidagi raqamning kodi bo'lib, raqamning raqamlari soni kiritilgan 
o'zgaruvchilar soniga teng. Birinchi to'plam 0 raqamidir. Joriy raqamga har safar 1 
qo'shilsa, biz keyingi to'plamni olamiz. Oxirgi to'plam berilgan kod uzunligi uchun 
maksimal ikkilik qiymatdir. 
Masalan, uchta o'zgaruvchidan iborat funktsiya uchun to'plamlar ketma-ketligi 
raqamlardan iborat: 

---

2-usul. 
Uch o'zgaruvchidan iborat funktsiya uchun ma'lumotlar ketma-ketligini 
quyidagi tarzda olish mumkin: 
• 
a) birinchi o'zgaruvchining qiymatlari ustunini yarmiga bo'ling va yuqori 
yarmini nol bilan, pastki yarmini birlar bilan to'ldiring; 
• 
b) ikkinchi o'zgaruvchining keyingi ustunida yarmini yana yarmiga bo'ling 
va nol va birlik guruhlarini to'ldiring; ikkinchi yarmini xuddi shu tarzda 
to'ldiring; 
• 
c) buni nol va birliklar guruhlari bitta belgidan iborat bo'lguncha bajaring. 
3-usul. 
Ikki argument uchun ma'lum bo'lgan haqiqat jadvalidan foydalaning. 
Uchinchi argumentni qo'shib, birinchi navbatda jadvalning birinchi 4 qatorini 
yozing, ularni uchinchi argumentning qiymati 0 ga teng bo'ladi va keyin yana bir 
xil 4 qatorni yozing, lekin endi uchinchi argumentning qiymati 1 ga teng. Natijada, 
uchta argument uchun jadval 8 qatordan iborat bo'ladi: 
Masalan, mantiqiy funksiya uchun haqiqat jadvalini tuzamiz: 
Berilgan ifodadagi kiritilgan o'zgaruvchilar soni uchta (A, B, C)... Shunday qilib, 
kirish to'plamlari soni Q = 2 3 =8 . 
Haqiqat jadvali ustunlari asl iboralarning qiymatlariga mos keladi A, B, C, oraliq 
natijalar va ( B V C), shuningdek, murakkab arifmetik ifodaning istalgan yakuniy 
qiymati: 
• 
0 0 0 1 0 0 
• 
0 0 1 1 1 1 
• 
0 1 0 1 1 1 
• 
0 1 1 1 1 1 
• 
1 0 0 0 0 0 
• 
1 0 1 0 1 0 
• 
1 1 0 0 1 0 
• 
1 1 1 0 1 0 
• 
7.4. Mantiqiy funksiyalar va ularning transformatsiyasi. Mantiq qonunlari 
Konyunksiya, dis'yunksiya va inversiya operatsiyalari uchun mantiqiy algebra 
qonunlari aniqlangan bo'lib, ular hosil qilish imkonini beradi. mantiqiy 
ifodalarning bir xil (ekvivalent) transformatsiyalari.