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