Анализ алгоритмов решения задачи выполнимости и алгоритмов представления логических сетей в виде конъюнктивных нормальных формкурсовая работа (Бакалавр)