Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Монотонная булева функция

Из Википедии — свободной энциклопедии

Монотонная булева функция — булева функция, которая монотонно возрастает (точнее не убывает) по каждому аргументу. Класс всех монотонных булевых функций является одним из пяти предполных классов.

Определение

Булева функция называется монотонной, если из того, что она принимает значение на некотором наборе аргументов , следует, что она принимает значение на всяком наборе аргументов , который получается из набора аргументов путём замены произвольного числа нулей на единицы[1].

Говорят, что набор предшествует набору , ( не больше ), если для всех .

Если и , то говорят, что набор строго предшествует набору , .

Наборы и называются сравнимыми, если либо .

В случае, когда ни одно из этих соотношений не выполняется, наборы называются несравнимыми.

Булева функция называется монотонной, если для любых двух сравнимых наборов и таких, что , имеет место неравенство .[2]

Множество всех монотонных функций алгебры логики обозначается через , а множество всех монотонных булевых функций, зависящих от переменных


См. также

Примечания

  1. Капитонова Ю. В., Кривой С. Л., Летичевский А. А. Лекции по дискретной математике. — СПб., БХВ-Петербург, 2004. — ISBN 5-94157-546-7, с 112
  2. «Журавлев Ю. И., Флёров Ю. А., Федько О. С.» Дискретный анализ. Комбинаторика. Алгебра логики. Теория графов : учеб. пособие — М. МФТИ, 2012—248 с. — ISBN 978-5-7417-0423-3
Эта страница в последний раз была отредактирована 7 октября 2020 в 02:44.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).