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

; -ті ҚҚФ деуге де, ДҚФ деуге де болады. Бұлардан басқа егер формуланың ДҚФ белгілі болса ҚҚФ-ке , ҚҚФ белгілі болса ДҚФ көшудің алгоритмдері бар. Олар төмендегідей:
Достарыңызбен бөлісу: |