Utilization of Karnaugh Maps in Multi-Value Qualitative Comparative Analysis

A recent debate in the literature of Qualitative Comparative Analysis (QCA) concerns the potentials and pitfalls of the multi-value variant (mvQCA) in comparison with the more established crisp-set QCA (csQCA) and fuzzy-set QCA (fsQCA) variants. So far, the mvQCA methodology has been implemented either algebraically or via specific software tools such as TOSMANA. The main goal of this paper is to enhance the mvQCA methodology through the utilization of several varieties of Karnaugh maps including (a) the Conventional Karnaugh Map (CKM), (b) the Multi-Valued Karnaugh Map (MVKM), and (c) the Variable-Entered Karnaugh Map (VEKM). The paper offers a tutorial exposition of each of these maps in terms of two recently-published problems concerning the legal provision (introduction) and implementation of party bans in sub-Saharan Africa. Results obtained via various map techniques agree exactly among themselves, and are generally more compact than those obtained earlier via elementary algebraic manipulations, or even via software tools. We show, by way of example, that coding multi-valued variables by binary ones has a harmful primary effect of increasing the input domain. This effect is partially counterbalanced by a (contrarily to common belief) beneficial secondary effect of introducing genuine don’t-care configurations. We also address the issue of unresolved contradictory configurations, and propose two strategies to cope with them. The maps used tackle seven binary variables (or their equivalent), a number beyond the typical map limit of six variables. They are used to produce not only the minimal sum of a Boolean function but the complete sum as well. Though this paper is basically intended as a contribution to mvQCA methodology, it is also of significant utility in any field that demands the use of the Karnaugh map. It serves as a unification/exposition of three fundamental variants of the map, and has a definite pedagogical advantage for the wide spectrum of map users. KeywordsMulti-value qualitative comparative analysis, Conventional Karnaugh map, Multi-valued Karnaugh map, Variable-entered Karnaugh map, Prime implicants, Minimal sum, Complete sum.

[1]  Ingo Rohlfing Analyzing multilevel data with QCA: a straightforward procedure , 2012 .

[2]  T. Rathore,et al.  Minimal Realizations of Logic Functions Using Truth Table Method with Distributed Simplification , 2014 .

[3]  I. Aleksander Modern Switching Theory and Digital Design , 1978 .

[4]  Mohamed Zarouan,et al.  A Modern Syllogistic Method in Intuitionistic Fuzzy Logic with Realistic Tautology , 2015, TheScientificWorldJournal.

[5]  Alrik Thiem,et al.  Clearly Crisp, and Not Fuzzy , 2013 .

[6]  A. Marx,et al.  Crisp-Set Qualitative Comparative Analysis (csQCA), Contradictions and Consistency Benchmarks for Model Specification , 2011 .

[7]  H. G. Rotithor,et al.  A framework for design of multivalued logic functions and its application using CMOS ternary switches , 1996 .

[8]  Ali M. Rushdi,et al.  Utilization of the Modern Syllogistic Method in the Exploration of Hidden Aspects in Engineering Ethical Dilemmas@@@توظيف الطريقة الاستدلالية الحديثة في استكشاف الجوانب الخفية في المعضلات الأخلاقية الهندسية , 2014 .

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

[10]  T. Rathore,et al.  A systematic map method for realizing minimal logic functions of arbitrary number of variables , 2014, 2014 International Conference on Circuits, Systems, Communication and Information Technology Applications (CSCITA).

[11]  Husain A. Al-Yahya,et al.  Derivation of the Complete Sum of a Switching Function with the Aid of the Variable-entered Karnaugh Map , 2001 .

[12]  Axel Marx,et al.  The origins, development, and application of Qualitative Comparative Analysis: the first 25 years , 2013, European Political Science Review.

[13]  Saburo Muroga,et al.  Logic design and switching theory , 1979 .

[14]  Benoît Rihoux,et al.  Crisp Set Qualitative Comparative Analysis (csQCA) , 2009 .

[15]  Jörg Kemmerzell,et al.  Understanding variations in party bans in Africa , 2010 .

[16]  Adrian Duşa,et al.  Enhancing the Minimization of Boolean and Multivalue Output Functions With eQMC , 2015 .

[17]  Shimon P. Vingron Reduced Karnaugh Maps , 2004 .

[18]  M. Vink,et al.  Potentials and Pitfalls of Multi-value QCA , 2013 .

[19]  Adrian Duşa,et al.  Boolean Minimization in Social Science Research , 2013 .

[20]  A. Rushdi Map derivation of the minimal sum of a switching function from that of its complement , 1985 .

[21]  Ali M. Rushdi,et al.  A Boolean minimization procedure using the variable-entered Karnaugh map and the generalized consensus concept , 2000 .

[22]  William I. Fletcher Engineering approach to digital design , 1980 .

[23]  Peter L. Hammer,et al.  Boolean Functions - Theory, Algorithms, and Applications , 2011, Encyclopedia of mathematics and its applications.

[24]  Adrian Duşa,et al.  QCA: A Package for Qualitative Comparative Analysis , 2013, R J..

[25]  M. Vink,et al.  Not quite crisp, not yet fuzzy? Assessing the potentials and pitfalls of multi-value QCA 1 , 2007 .

[26]  Charles C. Ragin,et al.  Assessing Discrimination: A Boolean Approach. , 1984 .

[27]  Three-valued Karnaugh maps , 1988, [1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic.

[28]  Vikram Ghiye,et al.  Investigation of Ternary Function Minimization , 2014, 2014 Fourth International Conference on Communication Systems and Network Technologies.

[29]  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..

[30]  Anderson Konan Seny Kan,et al.  On the Use of Qualitative Comparative Analysis in Management , 2016 .

[31]  A. Rushdi Improved variable-entered Karnaugh map procedures , 1987 .

[32]  Amy Javernick-Will,et al.  Use and misuse of qualitative comparative analysis , 2011 .

[33]  Gerald R. Peterson,et al.  Computer aided logical design - with emphasis on VLSI (4. ed.) , 1993 .

[34]  Ali M. Rushdi,et al.  Incremental Version of the Modern Syllogistic Method , 2015 .

[35]  Ali M. Rushdi Symbolic Reliability Analysis with the Aid of Variable-Entered Karnaugh Maps , 1983, IEEE Transactions on Reliability.

[36]  Ali M. Rushdi,et al.  Further Improved Variable-Entered Karnaugh Map Procedures for Obtaining the Irredundant Forms of an Incompletely-Specified Switching Function@@@إجراءان لخريطة كارنوه متغيرة المحتويات ذوا تحسينات إضافية يستخدمان للحصول على الصيغ غير الوافرة لدالة تبديلية غير كاملة التحديد , 2001 .