ДҚФ-ті ҚҚФ-ке түрлендірудің алгоритмі.

Егер формуланың ДҚФ белгілі болса ,оны төмендегі ережемен ҚҚФ түрлендіруге болады.

Айталық, ДҚФ F= түрінде болсын. Мұндағы -элементар конъюнкциялар.

1. F-ке қос терістеу F= заңын қолданып, -ті ДҚФ –ке түрлендіру керек. Мұндағы - элементар конъюнкциялар.Сонда,

F= = = ;

Морган заңымен екінші терістеуден құтылып элементар конъюнкциялардың терістеулерін элементар дизъюнкцияларға түрлендіру керек.

Сонда , F = = =