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

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

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

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

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

admin

Recent Posts

Спорт і успішність у школі: як це пов’язано?

Чи може спорт впливати на шкільні оцінки? Це питання хвилює багатьох батьків, які прагнуть дати…

7 години ago

Все для покеру: продукція Gamebridge для професійних клубів

Ігровий бізнес, зокрема покер, давно вийшов за межі підпілля й став частиною легального дозвілля. Попит…

2 дні ago

Чому японське аніме “Кайдзю №8” стало таким популярним серед українських глядачів?

Аніме-індустрія щороку випускає десятки нових проєктів, але лише деякі з них стають справжніми хітами. Одним…

3 дні ago

Смартфон Xiaomi перегревается: причины и пути устранения

Xiaomi — популярный бренд, смартфоны которого сегодня можно увидеть у многих людей. Среди их главных…

3 дні ago

Совершенный макияж начинается с основы: как подобрать базовые средства для лица

Гармоничный и стойкий макияж — это не только дело техники, но и результат правильного выбора…

1 тиждень ago

GGbet UA: ставка на успіх у світі спортивних та кіберспортивних подій

Світ беттингу змінюється, і сьогодні гравцям уже недостатньо простої букмекерської лінії. Їм потрібна платформа, яка…

3 тижні ago