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