Parametric Algorithm for Searching the Minimum Lower Unity of Monotone Boolean Functions in the Process Synthesis of Control Automates
Anvar Kabulov, Mansur Berdimurodov
20212021 International Conference on Information Science and Communications Technologies (ICISCT)18 citationsDOI
Abstract
The problem of minimizing Boolean functions is solved based on the search for the minimum lower unit of monotone Boolean functions, an algorithmic scheme is given for solving discrete extremal problems based on a parametric algorithm for finding the minimum lower unit (m.l.u) of monotone Boolean functions. The parameters of the algorithm for finding the minimum lower unit of monotone Boolean functions for solving certain classes of discrete extremal problems are calculated
Topics & Concepts
Monotone polygonBoolean functionMathematicsMaximum satisfiability problemBoolean networkParametric statisticsBoolean expressionDiscrete mathematicsProduct termUnit (ring theory)Two-element Boolean algebraAlgorithmCombinatoricsAlgebra over a fieldPure mathematicsStatisticsFiltered algebraGeometryMathematics educationAdvanced Computational Techniques in Science and EngineeringAdvanced Data Processing TechniquesAerospace, Electronics, Mathematical Modeling