3.2 ӘЛМ-ді күйге келтірудің екінші әдісі
Күйге келтірудің кірістерін азайту күйге келтірілетін сигналдар алфавитін кеңейтумен аяқталады. Егер {0,1} алфавитінен {0,1,xi } алфавитіне өтсек, онда, аргументтердің кірістерінің саны бірге, ал күйге келтіру кірістері екіге кемиді, мұндағы xi – бір аргумент литералы. Бір аргументті күйге келтіру сигналдары қатарына өткізсек, өзімен бірге ешқандай схемалық өзгерту жасамайды. Осы құрылғыда тұрақтыларды күйге келтіруге қарағанда, аргументтер саны бір бірлікке артық функция жүзеге асады.
Жаңа алфавит үшін күйге келтіру коды келесі түрде болады. Аргументтер xi болмағанда, дара xi аргументінің функциясы болатын, оларды бекіту ізделетін функция өрнегіне сәйкес келетін мекен-жайлық кодқа беріледі. Бұл қалдық деп аталатын функцияны күйге келтірілетін кіріске беріп керегі жоқ.
Егер ізделетін функция n аргументке тәуелді болса және күйге келтірілетін сигналдарда кез-келген аргумент ауысуы мүмкін болғандықтан, күйге келтірілетін сигналдар санына бір аргумент ауыстырылса, онда тапсырманы шешудің n нұсқасы пайда болады.
Күйге келтірілетін сигналдар, функциядағы кіру саны ең аз аргументті өткізеді. Бұндай жағдайда, күйге келтірілетін сигналдар арасынан ӘЛМ-ді жүзеге асыру схемасын жеңілдететін тұрақтылар саны көбейеді.
3.3 суретте функцияны көрсететін үш аргументтің мысалы келтірілген.
3.3 сурет - Үш аргументпен функцияны көрсету мысалы
Функцияны көрсетуге енудің минималды саны, күйге келтірілетін сигналдар санына өтетін х1 айнымалыға ие. Қалдық функция 3.1 кестемен анықталады
3.1 кесте
x2
|
x3
|
Fост
|
0
|
0
|
1
|
0
|
1
|
0
|
1
|
0
|
0
|
1
|
1
|
х1
|
Егерде, күйге келтірілетін сигналдарға екі аргумент өткізсек, онда қосымша логикалық схемалар ӘЛМ-ді қиындатпайтын, екі кірісті вентилді болады. Бұл жағдайда мультиплексорға екі айнымалының барлық функцияларын қалыптастыратын қалдық функциялардың өнімінің блогын қосу керек. Күйге келтірудің {0,1,х1,х2} алфавитінде, төрт аргумент функциясын көрсету мысалы 3.3 суретте келтірілген.
3.3 сурет – Төрт аргумент функциясын көрсету мысалы
Осы мысал үшін қалдық функция 3.2 кестесімен анықталады.
3.2 кесте
X4
|
x3
|
Fост
|
0
|
0
|
х1х2
|
0
|
1
|
1
|
1
|
0
|
х1х2
|
1
|
1
|
х1х2
|
Достарыңызбен бөлісу: |