Критерий принадлежности

хз

26. Понятие сравнимых наборов аргументов для булевой функции. Привести примеры пары сравнимых и несравнимых наборов аргументов. Является ли соответствующий порядок частичным, линейным, полным?

Определение (сравнимость)

Наборы аргументов для булевой функции сравнимы тогда, когда для и выполняется только или только . В ином случае элементы несравнимы.

Порядок

Данный порядок является частичным, поскольку оператор сравнения нестрогий.

27. Класс замкнутости : определение. Примеры функций, принадлежащих и не принадлежащих этому классу. Какую информацию о принадлежности классу можно получить, анализируя принадлежность этой же функции к классам и ?

Определения монотонности

Функция называется монотонной, если значение каждого следующего сравнимого элемента больше или равно предыдущему. Иначе не монотонна​

(???)

берем два эксперимента. в первом у нас будет х=0, у=0. для логического или функция принимает значение 0. потом берем второй эксперимент, х=0, у=1. элементы второго

эксперимента (а) больше или равны элементам первого эксперимента (b). и при этом, второй

результат второго эксперимента будет больше первого, все четко. Потом берем х=1, у=0. результат эксперимента будет равен предыдущему, монотонность все еще сохраняется. ну и для

последних значений функция также будет равна 1. все четко. только хуйня одна в том, что при