Logic Method of Finding Maximum Joint Subsystems of Systems of Boolean Equations
Anvar Kabulov, Erkin Urunbayev, Aziz Ashurov
20202020 International Conference on Information Science and Communications Technologies (ICISCT)12 citationsDOI
Abstract
The problem of finding the maximum joint subsystem of systems of Boolean equations is solved. An algorithm is proposed for finding the maximum upper zero of a monotone Boolean function. An algorithm is being developed for solving systems of Boolean equations based on a search for the maximum upper zero of the monotone functions of the algebra of logic.
Topics & Concepts
Monotone polygonBoolean functionMathematicsBoolean algebras canonically definedProduct termCircuit minimization for Boolean functionsBoolean expressionBoolean circuitParity functionZero (linguistics)Boolean domainMaximum satisfiability problemTwo-element Boolean algebraDiscrete mathematicsComputer scienceAlgebra over a fieldPure mathematicsFiltered algebraPhilosophyLinguisticsGeometryAdvanced Data Processing Techniques