KNF dən TKNF-yə kecmək ücün arqumentlərin hamısınin
iştirak etmədiyi hədlərə
ifadəsini əlavə etmək lazımdır.
Burada
– həddə çatışmayan arqumentdir.
olduğundan belə əməliyyat funksiyanın mənasını dəyişməyəcək.
TKNF-ni həqiqətlər cədvəlindən asanlıqla yazmaq olar. Misal olaraq aşağıdakı
cədvəldə verilmiş funksiyanı TKNF-də yazaq.
İfadə həqiqətlər cədvəlində funksiyanın 0 qiymətlər almış mənalarının sayı
qədər
konyuksiya əməliyyatı vasitəsilə yazılır. Arqument yıgımında arqumentlərdən hər hansı
birinin 0 qiymət alması konyuksiyanın 0 bərabər olması deməkdir. TKNF-da əməliyyatlar
konyuksiya vasitəsilə yerinə yetirildiyi üçün arqumentlərdən birinin 0 olması funksiyanın
0 olmasına gətirib çıxarır. Qeyd edək ki, istənilən funksiyanın yalnız 1 TKNF-sı var.
Veyça kartı üsulu ilə məntiqi funksiyanın minimallaşdırılması.
Məntiqi funksiyanın Veyça kartı üsulu ilə minimallaşdırılması
nisbətən mürəkkəb
olmayan funksiyalara (arqumentlərinin sayı 5-ə qədər olan) tətbiq olunur.
Veyça kartı (diaqramı) damalara bölünmüş düzbucaqlıdan ibarətdir. Damaların sayı
funksiyanın mintermlərinin maksimum sayına = olur. Məsələn: 2 arqumentli funksiya
üçün damaların sayı 2
2
olur. Hər bir dama 1 mintermə uyğundur.
olduqda
olur.
Bu funksiya üçün Veyça kartını tərtib edək.
olduqda
olur.
0 0 0 0 1 1 1 1
0 0 1 1 0 0 1 1
0 1 0 1 0 1 0 1
0 0 1 1 0 1 0 1
olduqda
olur
Veyça kartını doldurmaq üçün məntiqi funksiya TDNF-ya gətirilir. Funksiyada iştirak
edən mintermə (birləşməyə) uyğun gələn damaya 1, boş qalan damalara 0 yazılır.
Sonra
qonşu 1-lər dövrəyə alınır. Dövrəyə daxil olan 1+in sayı 2 üstlü tam ədədə = götürülür.
Dövrəyə daxil olan mintermə birləşmə (skleivanie) əməliyyatını
tətbiq edirik.
Dövrə horizontal və vertikal vəziyyətdə aparılır. Ən kənar eyni
bir sətirdə və eyni bir
sütunda yerləşmiş 1+r qonşu götürülür. Eyni bir mintermi bir
neçə dövrədə iştirak edə
bilər. İmkan daxilində dövrəyə daxil olan 1-in sayı çox götürülür.
Məsələn: cədvəl şəklində verilmiş məntiqi funksiyanın sintezini aparaq:
1. Məntiqi funksiyanın gerçəklik cədvəlini tərtib edək:
Məntiqi funksiyanı cədvəl formasından məntiqi ifadə formasına çevirək.
Məntiqi
funksiyanı TDNF-də yazmaq üçün 1 qiymət almış mintermlərin
məntiqi cəmini yazmaq
lazımdır.
Arqument
Funksiya
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
1
1
0
0
1
0
1
1
1
0