Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
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.