Utilization of the Karnaugh Map in Exploring Cause-effect Relations Modeled by Partially-defined Boolean Functions

Rushdi, Ali Muhammad Ali and Badawi, Raid Salih (2021) Utilization of the Karnaugh Map in Exploring Cause-effect Relations Modeled by Partially-defined Boolean Functions. Journal of Engineering Research and Reports, 20 (7). pp. 117-137. ISSN 2582-2926

[thumbnail of 480-Article Text-792-2-10-20221007.pdf] Text
480-Article Text-792-2-10-20221007.pdf - Published Version

Download (1MB)

Abstract

This paper utilizes a modern regular and modular eight-variable Karnaugh map in a systematic investigation of cause-effect relationships modeled by partially-defined Boolean functions (PDBF) (known also as incompletely specified switching functions). First, we present a Karnaugh-map test that can decide whether a certain variable must be included in a set of supporting variables of the function, and, otherwise, might enforce the exclusion of this variable from such a set. This exclusion is attained via certain don’t-care assignments that ensure the equivalence of the Boolean quotient w.r.t. the variable, and that w.r.t. its complement, i.e., the exact matching of the half map representing the internal region of the variable, and the remaining half map representing the external region of the variable, in which case any of these two half maps replaces the original full map as a representation of the function. Such a variable exclusion might be continued w.r.t. other variables till a minimal set of supporting variables is reached. The paper addresses a dominantly-unspecified PDBF to obtain all its minimal sets of supporting variables without resort to integer programming techniques. For each of the minimal sets obtained, standard map methods for extracting prime implicants allow the construction of all irredundant disjunctive forms (IDFs). According to this scheme of first identifying a minimal set of supporting variables, we avoid the task of drawing prime-implicant loops on the initial eight-variable map, and postpone this task till the map is dramatically reduced in size. The procedure outlined herein has important ramifications for the newly-established discipline of Qualitative Comparative Analysis (QCA). These ramifications are not expected to be welcomed by the QCA community, since they clearly indicate that the too-often strong results claimed by QCA adherents need to be checked and scrutinized.

Item Type: Article
Subjects: Afro Asian Library > Engineering
Depositing User: Unnamed user with email support@afroasianlibrary.com
Date Deposited: 06 Mar 2023 10:24
Last Modified: 14 Jun 2024 11:30
URI: http://classical.academiceprints.com/id/eprint/128

Actions (login required)

View Item
View Item