Kävutab abstraktižid lugendoid todusen tozi- i kelastuz-znamoičendoidenke; algebraline kombinatorik.
Использует абстрактные вычисления со значениями истинности и ложности истины; алгебраическая комбинаторика.