Логика алгебрасындагы функциялардың жазылу тәсілі

 

х

 х

1

0

  n – разрядты екілік кодыны болатын кірісінде,  z

…z

1

0 

m – 

құрылғыны қарастырамыз (1.1 – сур.) .Осы сұлбаны сипаттау үшін х

п-1…

 х

1

0

і 

  айнымалысының  шығысындағы  m  тәуелділігін 

Логика  алгебрасының  операциялары  арқылы  х

  х

х

0

айнымалысының  жиынтығымен  өрнектелген  z 

і

  шығыс  айнымалысының 

осы тәуелділікті сондай-ақ ауыстырғыш функциясы деп атайды. ЛАФ берсек, 

бұл  х

п-1…

1

х

  айнымалысының  барлық  мүмкін  болатын  комбинациялары 

үшін z 

і

 мәнін анықтау қажет. х

 х

1

0     

i 

2

 . 

n 

берілсе, онда функцияны толық анықталған деп 

бөлшектеп анықталған немесе толық анықталмаған дейміз.  

Жұмыстың  шарттары  бойынша  құрылғыда  кейбір  кіріс  коды  пайда 

берілмейді.  Сонымен,  факультативті  немесе  функцияның  міндетсіз  мәндер 

деп  аталатын  ұғым  пайда  болады,  олар  кез  келгенмен  берілуі  мүмкін.  ЛАФ 

факультативтік мәні болатын кіріс кодаларын тиым салынған деп атаймыз.  

9 

 

 

ЛАФ көмегі арқылы сипатталатын құрылғыны логикалық деп атаймыз.  

 

ЛАФ  сипаттау  үшін  әртүрлі  тәсілдерді  пайдалануға  болады.  Олардың 

негізгісі  сөз  түрінде,  ақиқаттық  кесте  түрінде  алгебра  өрнектері  түрінде, 

ондық  сандардың  реттілігінде,  сондай-ақ  кубтық  комплектстер  түрінде 

фукцияны сипаттау болып табылады.  

 

ЛАФ сөздік сипаттау. ЛАФ сөздік сипаттауды мысалмен бейнелейік.  

жүктеу 3,65 Mb.

Достарыңызбен бөлісу: