RUS  ENG
Полная версия
ЖУРНАЛЫ // Автоматика и телемеханика // Архив

Автомат. и телемех., 1997, выпуск 10, страницы 193–204 (Mi at2697)

Эта публикация цитируется в 1 статье

Автоматы

Булевы разности для монотонных функций алгебры логики

Ю. М. Парфенов, И. А. Рябинин

Военно-морская академия, г. Санкт-Петербург

Аннотация: Излагается краткая история возникновения и развития понятий булевых разностей в математике, диагностике ошибок ЦВМ и оценке важности элементов при исследовании безотказности (безопасности) структурно-сложных систем. Свою задачу авторы видели в выяснении соотношений между различными формами булевых разностей для класса монотонных функций алгебры логики и в выводе расчетных формул для определения однократных, двойных, двукратных и суммарных булевых разностей. Все булевы разности графически проиллюстрированы кругами Эйлера. Рассмотрены численные примеры.

УДК: 519.714


Поступила в редакцию: 04.04.1996


 Англоязычная версия: Automation and Remote Control, 1997, 58:10, 1712–1721

Реферативные базы данных:


© МИАН, 2024