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

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

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

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

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

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