Одним из способов получения тождеств в булевой алгебре является способ, основанный на принципе двойственности.
Функция называется двойственной к функции , если .
Для любой функции двойственная ей функция определяется однозначно.
Отношение двойственности симметрично.
Функция, двойственная сама себе, т.е. , называется самодвойственной.
Самодвойственные функции принимают противоположные значения на любых двух противоположных наборах. Если в таблице истинности функции наборы, как обычно, следуют в порядке их номеров, то противоположные друг другу наборы располагаются симметрично относительно середины их расположение. Это значит, что строка значений самодвойственной функции должна быть антисимметричной относительно своей середины.
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2025) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление