10
Дизъюнктивті қалыпты форма
(ДҚФ) деп элементарлы логикалық
көбейтінділерінің логикалық қосындыларын атаймыз, олардың әрқайсысына
оның инверциясы немесе аргументі бір рет кіреді.
Алгоритмдерді пайдалана отырып ақиқаттық кестеден келесі ДҚФ
алуға болады:
а) ЛАФ бірге тең болатын айнымалылардың әр жинағы үшін кіріс
айнымалылардың элементарлы логикалық көбейтінділерін жазамыз, 0-ге тең
айнымалыларды инверциямен жазамыз. Алынған көбейтінділерді бірліктің
конституенталары деп атайды;
б) Бірліктік барлық конституенталарын логикалық қосады.
Достарыңызбен бөлісу: