On solutions to the systems of functional boolean equationsстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 4 февраля 2014 г.
Аннотация:Solutions to the systems of functional Boolean equations are under study. For each of the classes P_2, T_0, T_1, S, T_{01}, and S_{01}, the problem is solved of constructing some systems of functional Boolean equations with a given set of functional constants and one functional variable whose unique solution is a given function of the class under consideration. For an arbitrary nonempty set F of n-argument Boolean functions, a system of equations with the functional constants ∨ and & is built with F as the solution set. If F is closed under transition to dual functions then the corresponding system can be constructed without functional constants.