Использование ассоциативной памяти для решения систем логических уравнений

Представлены два алгоритма решения систем логических уравнений с помощью ассоциативной памяти. Cходимость первого алгоритма не зависит от числа переменных, входящих в систему, сходимость второго не зависит от числа функций и числа термов в системе.