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
1P-ABC, a Simplied ABC Variant for Continuous Optimization Problems
In this paper a novel simplied and fast variant of the ABC algorithm is proposed, 1 Population ABC (1P-ABC), with the aim to increase the eciency of the ABC algorithm by using only one population of bees, the employed...
Magnetic Curves According to Bishop Frame and Type-2 Bishop Frame in Euclidean 3-Space
In this paper, we dene the notions of T-magnetic, N1-magnetic, N2-magnetic curves according to Bishop frame and 1-magnetic, 2-magnetic, B-magnetic curves according to type-2 Bishop frame in Euclidean 3-space. Also, we...
Time Series Analysis for Modeling and Forecasting International Tourist Arrivals in Sri Lanka
Tourism is one of the income generating industries in a developing country which directly contribute to the economy. Therefore, forecasting tourist arrivals is important for making policy decisions to improve facilities...
The Generalized Reed-Muller Codes in a Modular Group Algebra
We study some properties of the modular group algebra of the additive group of a Galois ring over a nite eld. A description of the Generalized Reed-Muller codes in this group algebra is presented.
Simple Mathematical Model for Malaria Transmission
Our model is made up of two sections: In the first section, we study a simple SEIR model, estimated the reproduction number, discussed the disease-free and endemic equilibria using the Routh-Hurwitz criterion and second...