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.
|
