Что такое двойственная формула?

Двойственные формулы — в алгебре логики — это такие формулы, которые получаются одна из другой путём замены в них каждого знака конъюнкции на знаки дизъюнкции и наоборот. При этом предполагается, что формулы построены лишь с помощью операций ∧, ∨, ~.

Определение. Формула F* называется двойственной формуле F, если она получена из F заменой символов функций на символы двойственных им функций. Пример. Теорема (принцип двойственности).

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

Булева функция называется линейной (принадлежит классу L), если ее полином Жегалкина линеен. Утверждение о числе булевых функций класса L. Число различных линейных булевых функций, зависящих от n переменных, равно 2n+1.

admin

Recent Posts

Индикаторные тест-полоски: что это и как использовать?

Современная медицина предоставляет нам множество возможностей для быстрой диагностики различных состояний организма. Среди самых простых…

1 день ago

Как часто нужно посещать стоматолога

Многие люди записываются к стоматологу только когда зубная боль становится невыносимой. Такой подход часто приводит…

1 день ago

Почему оптовая печать на футболках всегда выгоднее небольших заказов

Бизнес-решения требуют рациональности, особенно когда речь идет о затратах на корпоративную продукцию, ведь печать на…

2 дні ago

Як самостійно зробити бамбукові палички для їжі «учбовими»

Вміння користуватися таким столовим приладом, як бамбукові палички для їжі, не є дуже рідкісним в…

5 днів ago

Технология будущего для женского удовольствия: революция вакуумных стимуляторов

Индустрия товаров для взрослых за последние годы совершила невероятный скачок вперед, сместив фокус с простого…

6 днів ago

Автобус Краків — Черкаси: Як Зручно Дістатися Додому

Автобус Краків — Черкаси: Як Зручно Дістатися Додому Після тривалого перебування за кордоном чи просто…

6 днів ago