mantiq algebrasi funksiyasi (MAF) deb ataladi. Raqamli qurilmalarda qayta ulanuvchi elementlar
(«ochiq» holatidan «berk» holatiga
oʻtuvchi va aksincha) qoʻllanilgani
sababli mantiq algebra funksiyasini yana
qayta ulanuvchi funksiya deb
qam atashadi.
Ba’zi qurilmalar MAFini toʻrt usulda ifodalash mumkin.
MAFning so ʻz yordamida ifodalanishi . MAFning soʻz yordamida
ifodalanishini Istisnoli YOKI mantiqiy amalini bajaruvchi mantiqiy
element misolida
koʻrib chiqamiz. Bu amal shunchalik muqimki, uning
uchun
⊕
belgisi kiritilgan. Ikkita oʻzgaruvchi uchun mazkur MAFning
soʻzli ifodasi quyidagicha boʻladi: agar ikkala oʻzgaruvchi qarama-
qarshi belgilarga ega boʻlsa, ularning mantiqiy funksiyasi birga teng
boʻladi.
Mazkur MAFning jadval ko ʻrinishida ifodalanishi . Funksiyani
jadval yordamida ifodalanishi haqiqiylik jadvali deb ataladi va u
kirishdagi ikkita
x i o
ʻzgaruvchilarning ixtiyoriy kombinatsiyasidan va
ularga mos keluvchi chiqishdagi o
ʻzgaruvchi
u i qiymatlaridan tashkil
topgan bo
ʻladi. Istisnoli YOKI funksiyasi uchun qaqiqiylik jadvali 3.1-
jadvalda keltirilgan.
3.1-jadval x 1 x 2 u 0
0
0
0
1
1
1
0
1
1
1
0
MAFning algebraik ifoda shaklida keltirilishi . Bu holda,
mantiqiy blok sintezi uchun MAFning standart ifodalanish usullaridan
biri qo
ʻllanilishi mumkin.
a)
Dizyunktiv normal shakl (DNSH). Bu ifodalanish shaklida
funksiya barcha kirishdagi o
ʻzgaruvchilar koʻpaytmasi yoki ularning
inversiyasidan tashkil topgan qo
ʻshiluvchilar yigʻindisidan tashkil
topadi. DNSH haqiqiylik jadvalidan olinadi. Funksiya birga teng
bo
ʻladigan kirishdagi oʻzgaruvchilarning barcha kombinatsiyasi uchun,
kirishdagi o
ʻzgaruvchilarning koʻpaytmasi yoziladi. Bunda nolga teng
107
bo
ʻlgan oʻzgaruvchilar inversiyalanib yoziladi. Hosil boʻlgan koʻpaytma
