|
On a method to construct special type corollaries for systems of Boolean equations
A. V. Tarasov LLC «Sertification Research Center», Moscow
Abstract:
We describe an approach to solve systems of Boolean equations by means of bijunctive implicents. We suggest a basic algorithm to find such implicents and discuss the question on the uniqueness of feasibility of the constructed system.
Key words:
Boolean function, system of Boolean equations, bijunctive function.
Received 12.V.2022
Citation:
A. V. Tarasov, “On a method to construct special type corollaries for systems of Boolean equations”, Mat. Vopr. Kriptogr., 14:1 (2023), 115–130
Linking options:
https://www.mathnet.ru/eng/mvk434https://doi.org/10.4213/mvk434 https://www.mathnet.ru/eng/mvk/v14/i1/p115
|
|