Эффективные алгоритмы решения логических задач с использованием алгебры логики