Алгебра  өрнегі  түрінде  ЛАФ  сипаттау

10 

 

 

Дизъюнктивті  қалыпты  форма

  (ДҚФ)  деп  элементарлы  логикалық 

көбейтінділерінің  логикалық  қосындыларын  атаймыз,  олардың  әрқайсысына 

оның инверциясы немесе аргументі бір рет кіреді.  

 

Алгоритмдерді  пайдалана  отырып  ақиқаттық  кестеден  келесі  ДҚФ 

алуға болады: 

 

а)  ЛАФ  бірге  тең  болатын  айнымалылардың  әр  жинағы  үшін  кіріс 

айнымалылардың элементарлы логикалық көбейтінділерін жазамыз, 0-ге тең 

айнымалыларды  инверциямен  жазамыз.  Алынған  көбейтінділерді  бірліктің 

конституенталары деп атайды; 

 

б) Бірліктік барлық конституенталарын логикалық қосады.  

 

жүктеу 3,65 Mb.

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