Об одном методе построения следствий специального вида для систем булевых уравнений
Published in Математические вопросы криптографии • Mar 1, 2023
NobleIDNI8P46W96R65S59
Authors:
Alexey Vyacheslavovich Tarasov
Abstract
Излагается подход к решению систем булевых уравнений, основанный на использовании биюнктивных имплицент. Предложен базовый алгоритм нахождения таких имплицент и рассмотрен вопрос об одновыполнимости построенной системы.
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!