Конечная полная система тождеств (дискра/матлог)

[den_ek]

Подскажите пожалуйста, где можно прочитать про методы отыскания КПСТ.

В частности, сама задача звучит так - найти кпст для класса тождеств E(A) над мн-вом A={xy, x+y+z}.

Почитал наши учебники по теории дискретных функций - ничего путного не нашел. Заранее спасибо

PS: если никто не знает нужных книжек, я готов выслушать объяснение))

[Mathusic]

Дайте определение КПСТ.

[den_ek]

мн-во B, такое, что его замыкание <B>=E(A), где Е(А) - мн-во всех тождеств над F(A), где F(A) - мн-во булевых формул над множеством А. Как-то так)