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 67
- Downloads 0
The Behrens-Fisher Problem: A Z Distribution Approach
We propose the Z distribution to tackle the Behrens-Fisher problem. First, we define the Z distribution which is a generalization of the t distribution, and then find the pdf and cdf of the Z distribution. After that, we...
Wind Speed Equation of Circular Cyclone
This paper uses a point model of cylindrical box wrapped by zero-weighted membrane to derive a wind speed equation of circular cyclone by method of section based on Boyle’s law, Charles’ law and Newton’s laws. The obtain...
Solving the Space -Time Fractional RLW and MRLW Equations Using Modified Extended Tanh Method with the Riccati Equation
In the present paper, a traveling wave solution has been established using the modified extended tanh method for space-time fractional nonlinear partial differential equations. We used this method to find exact solutions...
Feature-based Model for Extraction and Classification of High Quality Questions in Online Forum
Aims: To design and implement a classification-based model using specific features for identification and extraction of high quality questions in a thread. Study Design: The study design is divided into three modules: pr...
A Useful Result on the Covariance Between Ito Integrals
This article introduces a general result on the covariance between two Ito integrals driven by two different Brownian motions, which slightly generalizes the isometry property. This result finds applications in mathemati...