О предикатной эквивалентности формул алгебры логикитезисы доклада