Базалық анықтамалар

. 1.6 мысалда келтірілген ЛАФ үшін ДҚФ жазбасы.  

Шешімі 3.1.- кестедегі алгоритмге сәйкес аламыз: 

у(х

х

1, 

0

) 



2

х

х

0

2



1

х

+х

2

1



0

+х

х

1

0.

Бірліктің  конституенталарының қосындысымен алынған дизъюнктивті 

қалыпты форманы кемел деп атайды (КДҚФ). 

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

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

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

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

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

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

айнымалысының  элементарлы  логикалық  қосындысын  жазамыз.  Оның 

айнымалысының  бірге  тең  мәндерін  инверсиямен  жазамыз.  Алынған 

қосындыны нөлдің конституентасы деп атаймыз; 

б) Нөлдің барлық алынған конституенталарын логикалық көбейтеді.