Задля мінімізації початкової формули, що описує задану логічну функцію у вигляді довершеної диз'юнктивної нормальної форми

задля максимізації початкової формули, що описує функцію, задану у вигляді довершеної диз'юнктивної нормальної форми

задля пошуку одного тупікового рішення для функції, заданої у вигляді довершеної диз'юнктивної нормальної форми

задля пошуку низки , так званих, тупікових рішень для функції, заданої у вигляді довершеної диз'юнктивної нормальної форми