A Novel Method for Compact Listing of All Particular Solutions of a System of Boolean Equations
Journal Title: Journal of Advances in Mathematics and Computer Science - Year 2017, Vol 22, Issue 6
Abstract
Any system of ‘big’ Boolean equations can be reduced to a single Boolean equation {g(Z)=1}. We propose a novel method for producing a general parametric solution for such a Boolean equation without attempting to minimize the number of parameters used, but instead using independent parameters belonging to the two-valued Boolean algebra B2 for each asserted atom that appears in the discriminants of the functiong(Z). We sacrifice minimality of parameters and algebraic expressions for ease, compactness and efficiency in listing all particular solutions. These solutions are given by additive formulas expressing a weighted sum of the asserted atoms of g(Z), with the weight of every atom (called its contribution) having a number of alternative possible values equal to the number of appearances of the atom in the discriminants of g(Z). This allows listing a huge number of particular solutions within a very small space and the possibility of constructing solutions of desirable features. The new method is demonstrated via three examples over the ‘big’ Boolean algebras, B_4, B_16, and B_256, respectively. The examples demonstrate a variety of pertinent issues such as complementation, algebra collapse, incremental solution, and handling of equations separately or jointly.
Authors and Affiliations
Ali Muhammad Ali Rushdi, Waleed Ahmad
Keywords
Related Articles
- EP ID EP322631
- DOI 10.9734/BJMCS/2017/33884
- Views 86
- Downloads 0
Recurrent Neural Network Based Modeling of Gene Regulatory Network Using Bat Algorithm
Correct inference of genetic regulations inside a cell is one of the greatest challenges in post genomic era for the biologist and researchers. Several intelligent techniques and models were already proposed to identify...
High Order Resolution in Reentry Flows in 3D
This work focuses on a numerical simulation of reentry 3D-flows using high order resolution schemes. Euler and Navier-Stokes equations are studied, on conservative and finite volume approaches, and employing structured s...
Viscosity Approximation Methods in Reflexive Banach Spaces with a Sequence of Contractions
The aim of this paper is to study viscosity approximation methods in re exive Banach spaces. Let E be a re exive Banach space which admits a weakly sequentially continuous duality mapping j : E → E , C a nonempty close...
The Gamma Function and Its Analytical Applications
This paper explores the history and properties of the Gamma function with some analytical applications. Specifically, the Gamma function is employed to prove the legitimacy of the Standard Normal Distribution and for eva...
Achieving System Reliability with the Fewest Identical Components
enerally, redundancy allocation problems are NP-hard. This paper presents an explicit polynomially bounded algorithm for a special class of redundancy allocation models.