|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Об одном методе построения следствий специального вида для систем булевых уравнений
А. В. Тарасов ООО «Центр сертификационных исследований», Москва
Аннотация:
Излагается подход к решению систем булевых уравнений, основанный на использовании биюнктивных имплицент. Предложен базовый алгоритм нахождения таких имплицент и рассмотрен вопрос об одновыполнимости построенной системы.
Ключевые слова:
булева функция, система булевых уравнений, биюнктивные функции.
Получено 12.V.2022
Дата публикации: 18.05.2023
Образец цитирования:
А. В. Тарасов, “Об одном методе построения следствий специального вида для систем булевых уравнений”, Матем. вопр. криптогр., 14:1 (2023), 115–130
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mvk434https://doi.org/10.4213/mvk434 https://www.mathnet.ru/rus/mvk/v14/i1/p115
|
| Статистика просмотров: |
| Страница аннотации: | 376 | | PDF полного текста: | 155 | | Список литературы: | 84 | | Первая страница: | 5 |
|