К предыдущему.

[thesz]

В язычке, что я плавно и не торопясь делаю, есть комбинаторы &&& и

Comments

[zelych]

И вот здесь возникает необходимость решения усистем равнений вида: x=a&&y, y=b&&x.
После подстановки получается x=a&&b&&x, что сводимо к x=Q&&x. Какие решения есть у такого уравнения?

А что такое Q?
Если система в GF(2), то у неё два решения: x = y = {0,1}.