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

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

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

Функциональная полнота

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

Функциональная полнота множества логических операций или булевых функций — это возможность выразить все возможные значения таблиц истинности с помощью формул из элементов этого множества. Математическая логика обычно использует такой набор операций: конъюнкция (), дизъюнкция (), отрицание (), импликация () и эквиваленция (). Это множество операций является функционально полным. Но оно не является минимальной функционально полной системой, поскольку:

Таким образом также является функционально полной системой. Но также может быть выражено (в соответствии с законом де Моргана) как:

также может быть определена через подобным образом.

Также может быть выражена через следующим образом:

Итак и одна из является минимальной функционально полной системой.

Энциклопедичный YouTube

  • 1/1
    Просмотров:
    8 541
  • 8. Дискретная математика. Булева алгебра.

Субтитры

Критерий полноты

Основная статья: Критерий Поста

Критерий Поста описывает необходимые и достаточные условия функциональной полноты множеств булевых функций. Был сформулирован американским математиком Эмилем Постом в 1941 году.

Критерий:

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

Минимальные множества бинарных операций

Множества из одного элемента
(штрих Шеффера), (стрелка Пирса)
Множества двух элементов
Множества трёх элементов
,  (см. алгебра Жегалкина), (инверсный к предыдущему)

См. также

Эта страница в последний раз была отредактирована 8 марта 2020 в 12:12.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).