Во введении приводится краткий обзор современного состояния и основных трендов вычислительной техники, чтобы обосновать переход к квантовым компьютерам и квантовым вычислениям. На основании мнения многих специалистов, утверждается, что квантовые вычисления могут стать ведущим способом вычисления в XXI веке. Далее формулируется постановка задачи выполнимости логических уравнений. Излагаются логические основы новой модели вычислений. Такой моделью является квантовый идеальный генератор тестов (квантовый ИГТ) — модель вычислений для новых модификаций квантовых компьютеров. Приведено описание квантового D-алгоритма (QD-алгоритма), подогнанного под модель вычислений в виде квантового ИГТ. Выводятся оценки временной и пространственной сложности решения задачи выполнимости логических уравнений с использованием QD-алгоритма.