Выдержка из книги
Виноградов И.М.
Математическая энциклопедия Том 1
x& y & z х & у 1 является приведенным полиномом. Кроме рассмотренных языков, существуют и другие языки, равносильные им ( два языка наз. В основу такого языка достаточно положить любую систему операций ( и констант), обладающую тем свойством, что через операции ( и константы) этой системы можно представить всякую функцию А. Существует алгоритм, к-рый по произвольной конечной системе функций А. Он основан на следующем факте. Рассматриваются и такие языки, в основе к-рых лежат системы операций, не являющиеся функционально полными, и таких языков бесконечно много.