0

Докажите, что всякую монотонную булеву функцию можно вычислить монотонной схемой.

(
Булева функция f : {0, 1} n → {0, 1} называется монотонной, если для всяких x, y ∈ {0, 1}^n верно x <= y ⇒ f(x) <= f(y), где векторы x и y сравниваются в покоординатном порядке: x <= y равносильно тому, что x_i <= y_i для всех i.

Схемы в базисе {∨, ∧, 1, 0} называются монотонными.
)

задан 4 Мар '20 14:56

изменен 4 Мар '20 14:57

Это известная лемма из учебника. А сам вопрос уже задавали не один раз. См. здесь.

(4 Мар '20 18:02) falcao
10|600 символов нужно символов осталось

Вопрос был закрыт. Причина - "Повтор вопроса". Закрывший - falcao 4 Мар '20 18:02

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

регистрация »

отмечен:

×2,208
×2,165

задан
4 Мар '20 14:56

показан
374 раза

обновлен
4 Мар '20 18:02

Связанные вопросы

0 Дискретка. Комбинаторика.

0 Является ли данная система полной

0 Разрешима ли проблема остановки для 3х символьных одномерных клеточных автоматов?

0 Делимость: число x + 10y делится на 13 тогда и только тогда...

0 Теория вероятностей

0 Можно ли «граф додекаэдра» нарисовать в четырёхмерном пространстве без самопересечений?

0 Дискретная математика - Схемы и формулы

0 Постройте вывод секвенции: ⇒ (p → q) → ((¬p → q) → q).

0 Делимость: Какие из следующих утверждений о целых числах a, b, c верны

0 Установить взаимно однозначное соответствие...

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru