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

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

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

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

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

admin

Recent Posts

Косметика Instytutum: науковий підхід до бездоганної шкіри

У сучасному світі догляду за шкірою, де щодня з'являються нові бренди та продукти, буває складно…

21 годину ago

Як вибрати хороший дитячий захист для роликів?

Перші спроби катання завжди викликають хвилювання та страх. Важливо, щоб дитина почувалася комфортно та безпечно…

4 дні ago

Як уповільнити перші ознаки старіння після 30 років

Чому після 30 років шкіра змінюється Перші ознаки старіння, на які варто звернути увагу Базовий…

7 днів ago

Запчасти на коробку передач: что важно знать для ремонта

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

1 тиждень ago

Типові поломки Peugeot 308 та як їх уникнути

Peugeot 308 — популярний хетчбек, який завоював довіру європейських і українських водіїв завдяки привабливому дизайну,…

2 тижні ago

Профілактика — це інвестиція у здоров’я: чому регулярні огляди у стоматолога важливіші, ніж лікування

Сучасна стоматологія чудово допомогає у випадках, коли зубний біль стає нестерпним. Але краще не доводити…

3 тижні ago