International Journal of Mathematical, Engineering and Management Sciences

ISSN: 2455-7749

Boolean Curve Fitting with the Aid of Variable-Entered Karnaugh Maps

Ali Muhammad Ali Rushdi
Department of Electrical and Computer Engineering, King Abdulaziz University, P. O. Box 80204, Jeddah 21589, Saudi Arabia.

Ahmed Said Balamesh
Department of Electrical and Computer Engineering, King Abdulaziz University, P. O. Box 80204, Jeddah 21589, Saudi Arabia.

DOI https://dx.doi.org/10.33889/IJMEMS.2019.4.6-102

Received on May 21, 2019
  ;
Accepted on July 26, 2019

Abstract

The Variable-Entered Karnaugh Map is utilized to grant a simpler view and a visual perspective to Boolean curve fitting (Boolean interpolation); a topic whose inherent complexity hinders its potential applications. We derive the function(s) through m points in the Boolean space B^(n+1) together with consistency and uniqueness conditions, where B is a general ‘big’ Boolean algebra of l≥1 generators, L atoms (2^(l-1)

Keywords- Boolean curve fitting, Boolean interpolation, Variable-entered Karnaugh map, Consistency condition, Uniqueness.

Citation

Rushdi, A. M. A., & Balamesh, A. S. (2019). Boolean Curve Fitting with the Aid of Variable-Entered Karnaugh Maps. International Journal of Mathematical, Engineering and Management Sciences, 4(6), 1287-1306. https://dx.doi.org/10.33889/IJMEMS.2019.4.6-102.

Conflict of Interest

The authors confirm that this article contents have no conflict of interest.

Acknowledgements

The authors would like to acknowledge the financial support of the Deanship of Scientific Research (DSR), King Abdulaziz University (KAU), Jeddah, Saudi Arabia.

References

Adler, M., & Gailly, L.J. (1999). An Introduction to cryptography. Network Associates.

Ahmad, W., & Rushdi, A.M.A. (2018). A new cryptographic scheme utilizing the difficulty of big Boolean satisfiability. International Journal of Mathematical, Engineering and Management Sciences, 3(1), 47-61.

Brown, F.M. (1990). Boolean reasoning: the logic of Boolean equations. Boston: Kluwer Academic Publishers.

Crama, Y., & Hammer, P.L. (2011). Boolean functions: theory, algorithms, and applications. Cambridge University Press, Cambridge, New York. ISBN: 9780521847513.

Delvos, F.J. (1982). d-variate Boolean interpolation. Journal of Approximation Theory, 34(2), 99–114.

Delvos, F.J. (1990). Boolean methods for double integration. Mathematics of Computation, 55(192), 683–692.

Delvos, F.J., & Posdorf, H. (1979). Boolesche zweidimensionale lagrange-interpolation (Boolean two-dimensional Lagrange interpolation). Computing, 22(4), 311–323.

Ellis, D. (1953). Remarks on Boolean functions. Journal of the Mathematical Society of Japan, 5(3-4), 345–350.

Ellis, D. (1956). Remarks on Boolean functions II. Journal of the Mathematical Society of Japan, 8(4), 363–368.

Hammer, P.L., & Rudeanu, S. (1968). Boolean methods in operations research and related areas. Springer, Berlin, Heidelberg.

Löwenheim, L. (1918). Gebietsdeterminanten (Domain determinants). Mathematische Annalen, 79(3), 223–236.

McKinsey, J.C.C. (1936a). Boolean functions and points. Duke Mathematical Journal, 2(3), 465–471.

McKinsey, J.C.C. (1936b). On Boolean functions of many variables. Transactions of the American Mathematical Society, 40(3), 343–362.

Melter, R.A., & Rudeanu, S. (1984). Linear equations and interpolation in Boolean algebra. Linear Algebra and Its Applications, 57, 31–40.

Menezes, A.J., van Oorschot, P.C., & Vanstone, S.A. (1996). Handbook of applied cryptography. CRC Press, Inc.

Neumann, G. (1982a). Boolean constructed cubature formulas of interpolatory type. In G. Hämmerlin (Ed.). Numerical Integration, (pp. 177–186). Basel: Birkhäuser.

Neumann, G. (1982b). Boolesche interpolatorische kubatur (Boolean interpolatory cubature). Results in Mathematics, 6(1-2), 116-117.

Piper, F.C., & Murphy, S. (2002). Cryptography: a very short introduction. Oxford: Oxford University Press.

Reusch, B. (1975). Generation of prime implicants from sub-functions and a unifying approach to covering problem. IEEE Transactions on Computers, C-24(9), 924-930.

Rudeanu, S. (1974). Boolean functions and equations. Amsterdam, the Netherlands, North-Holland Publishing Company & American Elsevier.

Rudeanu, S. (2001). Lattice functions and equations. London, UK: Springer Verlag.

Rudeanu, S. (2003). Algebraic methods versus map methods of solving Boolean equations. International Journal of Computer Mathematics, 80(7), 815-817.

Rudeanu, S., & Simovici, D.A. (2004, May). A graph-theoretical approach to Boolean interpolation of non-Boolean functions. In Proceedings. 34th International Symposium on Multiple-Valued Logic, (pp. 245-250). IEEE.

Rushdi, A.M., & Al-Yahya, A.H. (2000). A Boolean minimization procedure using the variable entered Karnaugh map and the generalized consensus concept. International Journal of Electronics, 87(7), 769–794.

Rushdi, A.M., & Al-Yahya, A.H. (2001). Further improved variable-entered Karnaugh map procedures for obtaining the irredundant forms of an incompletely-specified switching function. Journal of King Abdulaziz University: Engineering Sciences, 13(1), 111–152.

Rushdi, A.M., & Amashah, M.H. (2011). Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations. International Journal of Computer Mathematics, 88(15), 3136–3149.

Rushdi, A.M., & Amashah, M.H. (2012). Purely-algebraic versus VEKM methods for solving big Boolean equations. Journal of King Abdulaziz University: Engineering Sciences, 23(2), 75-85.

Rushdi, A.M., & Balamesh, A.S. (2018). On the relation between Boolean curve fitting and the inverse problem of Boolean equations. Journal of King Abdulaziz University: Engineering Sciences, 28(2), 3-9.

Rushdi, A.M., & Ba-Rukab, O.M. (2017). Map calculation of the shapley-shubik voting powers: An example of the European Economic Community. International Journal of Mathematical, Engineering and Management Sciences, 2(1), 17-29.

Rushdi, A.M.A. (1987). Improved variable-entered Karnaugh map procedures. Computers and Electrical Engineering, 13(1), 41–52.

Rushdi, A.M.A. (2001). Using variable-entered Karnaugh maps to solve Boolean equations. International Journal of Computer Mathematics, 78(1), 23-38.

Rushdi, A.M.A. (2004). Efficient solution of Boolean equations using variable-entered Karnaugh maps. Journal of King Abdulaziz University: Engineering Sciences, 15(1), 105–121.

Rushdi, A.M.A. (2012). A comparison of algebraic and map methods for solving general Boolean equations. Journal of Qassim University: Engineering and Computer Sciences, 5(2), 147-173.

Rushdi, A.M.A. (2018a). Handling generalized type-2 problems of digital circuit design via the variable-entered Karnaugh map. International Journal of Mathematical, Engineering and Management Sciences, 3(4), 392-403.

Rushdi, A.M.A. (2018b). Utilization of Karnaugh maps in multi-value qualitative comparative analysis. International Journal of Mathematical, Engineering and Management Sciences, 3(1), 28-46.

Rushdi, A.M.A., & Ahmad, W. (2017). Satisfiability in ‘big’ Boolean algebras via Boolean-equation solving. Journal of King Abdulaziz University: Engineering Sciences, 28(1), 3-18.

Rushdi, A.M.A., & Ahmad, W. (2018). Digital circuit design utilizing equation solving over ‘big’Boolean algebras. International Journal of Mathematical, Engineering and Management Sciences, 3(4), 404-428.

Rushdi, A.M.A., & Albarakati, H.M. (2012). The inverse problem for Boolean equations. Journal of Computer Science, 8(12), 2098–2105.

Rushdi, A.M.A., & Albarakati, H.M. (2014). Prominent classes of the most general subsumptive solutions of Boolean equations. Information Sciences, 281, 53–65.

Rushdi, A.M.A., & Alsheikhy, A. (2017). A pedagogical multi-key multi-stage package to secure communication channels. Journal of Qassim University: Engineering and Computer Sciences, 10(2), 105-124.

Rushdi, R.A., & Rushdi, A.M. (2018). Karnaugh-map utility in medical studies: The case of fetal malnutrition. International Journal of Mathematical, Engineering and Management Sciences, 3(3), 220-244.

Scognamiglio, G. (1961). Interpolazione per le funzioni algebriche Booleane (Interpolation for Boolean algebraic functions). Giron. Mat. Battaglini, 89, 14–41.

Stamm, E. (1925). Geometrische theorie logischer funktionen: Beitrag zur algebra der logik (Geometrical theory of logical functions: Contribution to the algebra of logic). Prace Matematyczno-Fizyczne, 34(1), 119–158.

Tanenbaum, A.S., & Wetherall, D.J. (2011). Computer Networks (5th ed.). Boston, MA, USA: Pearson Education.

Thayse, A. (1978). Meet and join derivatives and their use in switching theory. IEEE Transactions on Computers, C-27(8), 713-720.

Privacy Policy| Terms & Conditions