Аннотация:Рассматривается возможность применения нейронных сетей для решения вычислительно сложных логических задач - на примере задачи о выполнимости булевой формулы. Приведен алгоритм синтеза структуры нейронной сети. Решена проблема избегания локальных минимумов энергетической функции сети с двумя состояниями нейрона. Показано, что подход на основе нейросетей Хопфилда не дает преимуществ по сравнению с традиционными.