Kompyuter injenerligi

2. Mantiqiy funksiyalarning berilish usullari.
Klassik matematikada funksiya ikki usulda beriladi: analitik (formula yozuvi) va jadval (masalan, lug‘atlarda beriladigan funksiyalar qiymatining jadvali). Mantiqiy funksiyalar ham shunday usullarda berilishi mumkin.
Jadval usulida, argumentlar qiymatining mumkin bo‘lgan o‘rin almashtirishlari va ularga mos keluvchi mantiqiy funksiyalarning qiymatlari ifodalangan rostlik jadvali tuziladi. Bunday o‘rin almashtirishlarning soni chekli bo‘lganligi uchun, rostlik jadvali funksiya qiymatini argumentning ixtiyoriy qiymati uchun aniqlashga imkon beradi (funksiyaning qiymatlarini argumentlarning barcha qiymatlari uchun emas, ba’zi bir qiymatlari uchun aniqlaydigan matematik funksiyalar jadvalidan farqli ravishda).
Bir argumentli mantiqiy funksiyalar uchun rostlik jadvali 9-rasmda keltirilgan. Bir argumentning hammasi bo‘lib to‘rtta funksiyasi mavjud.

X argumenti	Funksiyalar
	f0(x)	f1(x)	f2(x)	f3(x)
0	0	0	1	1
1	0	1	0	1

9-rasm
Agar funksiya argumentlarining soni n ga teng bo‘lsa, argument qiymatlarining turli o‘rin almashtirishlari soni 2ⁿ ni tashkil qiladi, n argumentning turli funksiyalari soni 2²ⁿ .Masalan, п= 2 da argumentlar qiymatining o‘rin almashtirishlari soni 2² = 4 ga, funksiyalar soni esa 2⁴ = 16 ga teng. Ikki argumentli funksiya uchun rostlik jadvali 3-jadvalda keltirilgan
Mantiqiy funksiya analitik usulda ham berilishi mumkin. Odatdagi matematikada funksiyani analitik usulda berilishi deganda, funksiyaning argumentlari biror matematik amal orqali bog‘langan matematik ifodalar ko‘rinishida berilishini tushunamiz.
Shunga o‘xshash, mantiqiy funksiyalarni analitik usulda berish uchun funksiya argumentlari ustida mantiqiy amallar qanday tartibda bajarilishini ko‘rsatuvchi mantiqiy ifoda ko‘rinishida yozilishi kerak .
Bir argumentning funksiylari qo‘iydagi ifodalar orqali beriladi:



f₀(х), f₁(х) va f₃(x) funksiyalarini amalga oshiruvchi qurilmalar trivial deyiladi. 10- rasmdan ko‘rinib turibdiki:
f₀(х) funksiyani tuzish uchun, sxemaning umumiy nuqtasiga ulanishli chiqish va kirish orasida oraliq bo‘lishi kerak;
f₁(х) funksiyani tuzish uchun — kirish va chiqishni ulash;
f₃(х) funksiyani tuzish uchun — chiqishning man.1 ga mos keluvchi kuchlanish manba’si bilan ulanish talab qilinadi.

X f₀(x) X f₁(x) X f₃(x)

+
- 10-rasm

Shunday qilib, bir argumentli barcha funksiyalar orasidan faqat f₂(x)=x funksiya amaliy axamiyatga ega (mantiqiy YO‘Q).
Rostlik jadvali va funksiya tenglamasidan tashqari Karno kartasi usuli ham mavjud.
Karno kartasi elementlar kirishining barcha mumkin bo‘lgan 2ⁿ ta holatiga mos keluvchi 2ⁿ holat – kataklardan iborat. Kirishlar ikki guruhga bo‘linadi, va bunda kartaning ustunlariga bir guruhning barcha kombinatsiyalari, qatoriga esa boshqa guruhning kombinatsiyalari mos keladi. Bunda kirish signallarining kombinatsiyalari shunday joylashadiki, qo‘shni bo‘lgan ustun va qatorlar faqat bir kirishning holati bilan farqlanadi. Har bir kirish 1,2,4,Й,.,.,2ⁿ vazniga ega bo‘lganligi uchun, har bir qator va ustun berilgan holatda 1 qiymatga teng bo‘lgan kirish talmoqlarining yig‘indisiga teng bo‘lgan og‘irlikka ega bo‘ladi. Har bir katak, shu katakni tashkil qiluvchi ustun va qator vaznlarining yig‘indisiga bo‘lgan nomer bilan birikmaga mos keladi. Chiqishdagi signalning birlik belgilanishi tutash chiziq orqali belgilanadi. Karta kataklarining birikmasi, bitta o‘zgaruvchining qiymati bilan farq qiladigan, qo‘shni to‘plamlarni o‘z ichiga oladi. Quyi o‘ng tomonida joylashgan raqamlar to‘plam nomerini bildiradi. Chetki kataklar ham qo‘shni hisoblanadi. Har bir katakning o‘rta qismida, aniqlanayotgan funksiyaning shu to‘plamda teng bo‘ladigan qiymati ko‘rsatilgan. Karno kartalarining soni kirish o‘zgaruvchilar to‘plamlarining soni bilan aniqlanadi. 11-rasmda 2,3,4 o‘zgaruvchili funksiyalarining berilishi uchun Karno kartalari keltirilgan.

11-rasm