Еквацiональна решiтка одного класу алгебр

Abstract

In the paper has been considered the problem of finding a complete system of identities in the class of algebras whose operations are given above binary matrices of the n-th order. The constructed finite complete system of identities allowed us to find the T-basis and construct an equivalent lattice.

У роботі розглядається задача знаходження повних систем тотожностей в класі алгебр,формули яких описують булеві зображення. Побудовані скінченні повні системи тотожностей дали можливість знайти T–базис і побудувати екваціональну решітку такого класу алгебр.