. дистрибутивті заңды пайдаланып, фор-муланы барлық дизъюнкциялар, конъюнкцияларға қарағанда бұрын орын-далатындай түрлендіреміз.
Мысалы. формулада болмайтындай түрлендір-еміз:
-бұл формуланы одан әрі тағы түрлендіруге болады:
; -ті ҚҚФ деуге де, ДҚФ деуге де болады. Бұлардан басқа егер формуланың ДҚФ белгілі болса ҚҚФ-ке , ҚҚФ белгілі болса ДҚФ көшудің алгоритмдері бар. Олар төмендегідей:
. 
дистрибутивті заңды пайдаланып, фор-муланы барлық дизъюнкциялар, конъюнкцияларға қарағанда бұрын орын-далатындай түрлендіреміз.
формулада 
болмайтындай түрлендір-еміз:
-бұл формуланы одан әрі тағы түрлендіруге болады:
; 
-ті ҚҚФ деуге де, ДҚФ деуге де болады. Бұлардан басқа егер формуланың ДҚФ белгілі болса ҚҚФ-ке , ҚҚФ белгілі болса ДҚФ көшудің алгоритмдері бар. Олар төмендегідей: