Solution of Boolean equations via atomic decomposition into independent switching equations

ABSTRACT This paper considers the problem of solving a system of Boolean equations over a finite (atomic) Boolean algebra other than the two-valued one, referred to herein as a ‘big’ Boolean algebra. The paper suggests the replacement of this system of equations by a single Boolean equation, and then proposes a novel method for solving this equation by using its atomic decomposition into several independent switching equations. This method has many advantages including the efficient derivation of a complete compact listing of all particular solutions in a form similar to the recently developed permutative additive form, but obtained in a more direct fashion without using parameters. Many detailed examples are used to illustrate the proposed new method. The examples demonstrate how the consistency condition might force a collapse of the underlying Boolean algebra into a subalgebra, and also how to list a huge number of particular solutions in a very small space.

[1]  Sergiu Rudeanu.  Boolean functions and equations , 1974 .

[2]  Ali M. Rushdi,et al.  Switching-Algebraic Analysis of System Reliability , 2017 .

[3]  Ali M. Rushdi,et al.  Satisfiability in Big Boolean Algebras via Boolean-Equation Solving , 2017 .

[4]  Thomas Siegenthaler,et al.  Decrypting a Class of Stream Ciphers Using Ciphertext Only , 1985, IEEE Transactions on Computers.

[5]  Ali M. Rushdi,et al.  Map Calculation of the Shapley-Shubik Voting Powers: An Example of the European Economic Community , 2017 .

[6]  Pramode Ranjan Bhattacharjee.  A Novel Method for Solving Simultaneous Equations in Boolean/Switching Algebra , 2018 .

[7]  Ali Ali,et al.  Efficient Solution of Boolean Equations Using Variable-Entered Karnaugh Maps , 2005 .

[8]  Scott Woods,et al.  Multiple-level logic simulation algorithm , 2001 .

[9]  J. R. Buzeman.  Introduction To Boolean Algebras , 1961 .

[10]  Ali Muhammad Ali Rushdi.  Using variable-entered karnaugh maps to solve boolean equations , 2001, Int. J. Comput. Math..

[11]  Xiao-Shan Gao,et al.  A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers* , 2008, J. Syst. Sci. Complex..

[12]  David E. Muller,et al.  Application of Boolean algebra to switching circuit design and to error detection , 1954, Trans. I R E Prof. Group Electron. Comput..

[13]  Ali Muhammad Ali Rushdi,et al.  Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations , 2011, Int. J. Comput. Math..

[14]  Saudi Arabia,et al.  A Comparison of Algebraic and Map Methods for Solving General Boolean Equations , 2012 .

[15]  Gihyun Jung.  Comments on "Some Additions to Solution of Switching Equations Based on a Tabular Algebra" , 1995, IEEE Trans. Computers.

[16]  Sergiu Rudeanu.  Algebraic Methods Versus Map Methods Of Solving Boolean Equations , 2003, Int. J. Comput. Math..

[17]  Sultan Sameer Zagzoog,et al.  Derivation of All Particular Solutions of a ‘Big’ Boolean Equation with Applications in Digital Design , 2018 .

[18]  Julio Ortega Lopera,et al.  Solution of Switching Equations Based on a Tabular Algebra , 1993, IEEE Trans. Computers.

[19]  Steven Givant,et al.  Introduction to Boolean Algebras , 2008 .

[20]  Yves Crama,et al.  Boolean methods in operations research and related areas , 2011 .

[21]  Frank M. Brown,et al.  Boolean reasoning - the logic of boolean equations , 1990 .

[22]  Waleed Ahmad,et al.  A New Cryptographic Scheme Utilizing the Difficulty of Big Boolean Satisfiability , 2018 .

[23]  Masahiro Fujita,et al.  Application of Boolean unification to combinational logic synthesis , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

[24]  Ali M. Rushdi.  Efficient Solution of Boolean Equations Using Variable-Entered Kamaugh Maps@@@الحل السريع للمعادلات البولانية باستخدام خرائط كارنوه متغيرة المحتويات , 2004 .

[25]  Rufaidah Rushdi,et al.  Karnaugh-Map Utility in Medical Studies: The Case of Fetal Malnutrition , 2018, International Journal of Mathematical, Engineering and Management Sciences.

[26]  Donald L. Dietmeyer,et al.  Translation of a DDL Digital System Specification to Boolean Equations , 1969, IEEE Transactions on Computers.

[27]  Zippora Arzi-Gonczarowski,et al.  Understanding one another: making out meanings with Boolean equations , 2006, Annals of Mathematics and Artificial Intelligence.

[28]  Marco Tomassini,et al.  Cryptography with cellular automata , 2001, Appl. Soft Comput..

[29]  A. Rushdi,et al.  A Novel Method for Compact Listing of All Particular Solutions of a System of Boolean Equations , 2017 .