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

Матем. вопр. криптогр., 2023, том 14, выпуск 1, страницы 115–130 (Mi mvk434)

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

Об одном методе построения следствий специального вида для систем булевых уравнений

А. В. Тарасов

ООО «Центр сертификационных исследований», Москва

Аннотация: Излагается подход к решению систем булевых уравнений, основанный на использовании биюнктивных имплицент. Предложен базовый алгоритм нахождения таких имплицент и рассмотрен вопрос об одновыполнимости построенной системы.

Ключевые слова: булева функция, система булевых уравнений, биюнктивные функции.

УДК: 519.712.41+519.719.2

Получено 12.V.2022

DOI: 10.4213/mvk434



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


© МИАН, 2025