Cтраница 4
Легко заметить, что неконстантная функция является бесповторной в элементарном базисном множестве тогда и только тогда, когда она представляется бесповторным термом над BQ с использованием отрицания только над переменными. [46]
Теорема 2.5. Алгоритм нахождения бесповторных представлений булевых функций в бинарном базисном множестве является корректным. [47]
Очевидно, что если заданы представления группы Г относительно всех базисных множеств, то эти представления шаг за шагом могут быть продолжены на все множества шкалы Бурбаки. Gn математических структур равносильно выделению подходящих элементов некоторых множеств шкалы Бурбаки. Так, например, задание тг-местного предиката на множестве G равносильно выделению некоторого подмножества в декартовом произведении Gn GxGX - - XG n экземпляров множества G. Указанное соответствие является взаимно однозначным. [48]
Общие задачи пересчета связаны с выборкой некоторого числа элементов из заданного базисного множества. Такие задачи полезно делить на типы в зависимости от того, как выбираются элементы: с повторением или без повторений, с учетом порядка выбора или без оного. [49]