Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Engineering
A Logical Method For Finding Maximum Compatible Subsystems Of Systems Of Boolean Equations, Anvar Kabulov, Erkin Urunbaev, Mansur Berdimurodov
A Logical Method For Finding Maximum Compatible Subsystems Of Systems Of Boolean Equations, Anvar Kabulov, Erkin Urunbaev, Mansur Berdimurodov
Scientific Journal of Samarkand University
The problem of finding the maximum joint subsystem of Boolean equation systems is solved. An algorithm for finding the maximum upper zero of a monotone Boolean function is proposed. An efficient procedure for calculating the values of monotone functions on sets of a - dimensional cube is investigated and developed. An algorithm for solving systems of Boolean equations based on the search for the maximum upper zero of monotone functions of the logic algebra is developed.
An Effective Method For Synthesizing The Abbreviated Disjunctive Normal Form Of A Boolean Function, Erkin Urunbaev
An Effective Method For Synthesizing The Abbreviated Disjunctive Normal Form Of A Boolean Function, Erkin Urunbaev
Scientific Journal of Samarkand University
In discrete mathematics, minimizing Boolean functions in the class of disjunctive normal forms is one of the necessary tasks. This paper presents an effective method for synthesizing the reduced disjunctive normal form of a Boolean function.