ҚФ –ке түрлендіру керек. Мұндағы - элементар дизъюнкциялар.Сонда,
F== =
Морган заңымен екінші терістеуден құтылып элементар дизъюнкциялардың терістеулерін элементар конъюнкцияларға түрлендіру керек.
Сонда, F===
Буль функцияларының шексіз көп ҚҚФ, ДҚФ болуы мұмкін. Олардың ішінен МДҚФ,МКҚФ- ерекше ролі бар.
Достарыңызбен бөлісу: |