ПОӘК 042-14. 01. 20. 205/03-2013 02. 09. 20013 №1 басылым
жүктеу/скачать 14,91 Mb.
|
Дәріс 8 – 9 Дәріс сабақтың мазмұны: АЙТЫЛЫМДАР АЛГЕБРАСЫ Функцияларды аргументтері бойынша жіктеу. Дизъюнктивті және конъюнктивті нормальды формалар. (х1,…,хn) – логикалық айнымалылардың жиыны болсын. ∆=(δ1,…,δn) – бір мен нольдің жиынтығы. Конституентті бірлердің жиынтығы ∆ конъюнкт деп аталады К-1(δ1,…,δn)=  . Конституентті нольдердің жиынтығы ∆ дизъюнкт деп аталады К0(δ1,…,δn)=  . Сонымен, К-1(δ1,…,δn)=1 (К0(δ1,…,δn)=0) болады сол жағдайда, егер х1=δ1, …, хn=δn.
Мүлтіксіз ДҚФ деп құрамалары бірдей емес конституент бірлердің дизъюнкциясын айтамыз, ал МКҚФ деп құрамалары бірдей емес конституент нольдердің конъюнкциясын айтады. Сонымен, МДҚФ (МКҚФ) деп отырғанымыздың өзі ДҚФ (КҚФ), яғни әрбір конъюнкт (дизъюнкт) {х1,…,хn} құрамасындағы әрбір айнымалы хi үшін бір рет қана кездеседі, хi өзі немесе оның терістеуі  .
Берілген эквивалентті φ формуласының МДҚФ және МКҚФ табу үшін, булдік функция f(х1,…,хn) к айнымалыға жіктеп аламыз (дәл нақтылық үшін х1,…,хк) - Шеннон жіктеуі . жүктеу/скачать 14,91 Mb. Достарыңызбен бөлісу:
|