scholarly journals Using Variable-Entered Karnaugh Maps in Determining Dependent and Independent Sets of Boolean Functions

2012 ◽  
Vol 1 (2) ◽  
pp. 45-67
Author(s):  
Ali Muhammad Ali Rushdi and Hussain Mobarak Albarakati Ali Muhammad Ali Rushdi and Hussain Mobarak Albarakati
Keyword(s):  
Boolean Function ◽  
Boolean Functions ◽  
Independent Sets ◽  
Solution Procedure ◽  
Black Box ◽  
Important Class ◽  
Time Saving ◽  
Prime Implicants ◽  
Simultaneous Processing ◽  
Karnaugh Map

An important class for Boolean reasoning problems involves interdependence among the members of a set T of Boolean functions. Two notable problems among this class are (a) to establish whether a given subset of T is dependent, and (b) to produce economical representations for the complementary families of all dependent subsets and independent subsets of T. This paper solves these two problems via a powerful manual pictorial tool, namely, the variableentered Karnaugh map (VEKM). The VEKM is utilized in executing a Label-and-Eliminate procedure for producing certain prime implicants or consequents used in tackling the two aforementioned problems. The VEKM procedure is a time-saving short cut indeed, since it efficiently handles the three basic tasks demanded by the solution procedure, which are: (a) To combine several Boolean relations into a single one, (b) to compute conjunctive eliminants of a Boolean function, and (c) to derive the complete sum (CS) of a Boolean function. The VEKM procedure significantly reduces the complexities of these tasks by introducing useful shortcuts and allowing simultaneous processing. The VEKM procedure is described in detail, and then demonstrated via two illustrative examples, which previously had only black-box computer solutions as they were thought to be not amenable to manual solution. The first example deals with switching or bivalent functions while the second handles 'big' Boolean functions. Both examples indicate that the VEKM procedure proposed herein enjoys the merits of insightfulness, simplicity and efficiency

scholarly journals Quality of Minimal Sets of Prime Implicants of Boolean Functions

2017 ◽  
Vol 63 (2) ◽  
pp. 165-169
Author(s):  
V. C. Prasad
Keyword(s):  
Power Consumption ◽  
Boolean Function ◽  
Boolean Functions ◽  
New Technique ◽  
Minimal Set ◽  
Reduce Power Consumption ◽  
Minimal Sets ◽  
Prime Implicants

Abstract Two new problems are posed and solved concerning minimal sets of prime implicants of Boolean functions. It is well known that the prime implicant set of a Boolean function should be minimal and have as few literals as possible. But it is not well known that min term repetitions should also be as few as possible to reduce power consumption. Determination of minimal sets of prime implicants is a well known problem. But nothing is known on the least number of (i) prime implicants (ii) literals and (iii) min term repetitions , any minimal set of prime implicants will have. These measures are useful to assess the quality of a minimal set. They are then extended to determine least number of prime implicants / implicates required to design a static hazard free circuit. The new technique tends to give smallest set of prime implicants for various objectives.

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

2021 ◽  
pp. 117-137
Author(s):  
Ali Muhammad Ali Rushdi ◽  
Raid Salih Badawi
Keyword(s):  
Boolean Functions ◽  
Qualitative Comparative Analysis ◽  
Systematic Investigation ◽  
Exact Matching ◽  
Minimal Set ◽  
Minimal Sets ◽  
Prime Implicants ◽  
Switching Functions ◽  
Programming Techniques ◽  
Karnaugh Map

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.

scholarly journals Utilization of Eight-Variable Karnaugh Maps in the Exploration of Problems of Qualitative Comparative Analysis

2021 ◽  
pp. 57-84
Author(s):  
Ali Muhammad Ali Rushdi ◽  
Raid Salih Badawi
Keyword(s):  
Comparative Analysis ◽  
Boolean Function ◽  
Boolean Functions ◽  
Qualitative Comparative Analysis ◽  
Programming Approach ◽  
Minimal Set ◽  
First Case ◽  
Desirable Feature ◽  
Karnaugh Map ◽  
Variable Problem

Qualitative Comparative Analysis (QCA) is an emergent methodology of diverse applications in many disciplines. However, its premises and techniques are continuously subject to discussion, debate, and (even) dispute. We use a regular and modular Karnaugh map to explore a prominent recently-posed eight-variable QCA problem. This problem involves a partially-defined Boolean function (PDBF), that is dominantly unspecified. Without using the algorithmic integer-programming approach, we devise a simple heuristic map procedure to discover minimal sets of supporting variables. The eight-variable problem studied herein is shown to have at least two distinct such sets, with cardinalities of 4 and 3, respectively. For these two sets, the pertinent function is still a partially-defined Boolean function (PDBF), equivalent to 210 = 1024 completely-specified Boolean functions (CSBFs) in the first case, and to four CSBFs only in the second case. We obtained formulas for the four functions of the second case, and a formula for a sample fifth function in the first case. Although only this fifth function is unate, each of the five functions studied does not have any non-essential prime implicant, and hence each of them enjoys the desirable feature of having a single IDF that is both a unique minimal sum and the complete sum. According  to our scheme of first identifying a minimal set of supporting variables, we avoided the task of drawing prime-implicant loops on the initial eight-variable map, and  postponed this task till the map became dramatically reduced in size. Our map techniques and results are hopefully of significant utility in future QCA applications.

scholarly journals A Method of Two-Level Simplification of Boolean Functions

1967 ◽  
Vol 29 ◽  
pp. 201-210
Author(s):  
Toshio Umezawa
Keyword(s):  
Boolean Function ◽  
Boolean Functions ◽  
The Other ◽  
Product Form ◽  
Automatic Computation ◽  
Prime Implicants ◽  
Other Hand ◽  
Group 1

There are a number of methods to find minimal two-level forms for a given Boolean function, e g. Harvard’s group [1], Veitch [2], Quine [3], [4], Karnaugh [5], Nelson [6], [7] etc,. This paper presents an approach which is suitable for mechanical or automatic computation, as the Harvard method and the Quine method are so. On the other hand, it shares the same property as the Veitch method in the sense that some of essential prime implicants may be found before all prime implicants are computed. It also adopts the procedure to reduce the necessary steps for computation which is shown in Lawler [8]. The method described is applicable to the interval of Boolean functions f, g such that f implies g where for simplification of sum form the variables occurring in g also occur in f and for product form the variables in f also occur in g.

scholarly journals Testing Boolean Functions Properties

2021 ◽  
Vol 182 (4) ◽  
pp. 321-344
Author(s):  
Xie Zhengwei ◽  
Qiu Daowen ◽  
Cai Guangya ◽  
Jozef Gruska ◽  
Paulo Mateus
Keyword(s):  
Boolean Function ◽  
Boolean Functions ◽  
Randomized Algorithm ◽  
Quantum Algorithm ◽  
Black Box ◽  
Query Complexity ◽  
Testing Problem ◽  
Amplification Technique ◽  
Query Algorithm ◽  
Amplitude Amplification

The goal in the area of functions property testing is to determine whether a given black-box Boolean function has a particular given property or is ɛ-far from having that property. We investigate here several types of properties testing for Boolean functions (identity, correlations and balancedness) using the Deutsch-Jozsa algorithm (for the Deutsch-Jozsa (D-J) problem) and also the amplitude amplification technique. At first, we study here a particular testing problem: namely whether a given Boolean function f, of n variables, is identical with a given function g or is ɛ-far from g, where ɛ is the parameter. We present a one-sided error quantum algorithm to deal with this problem that has the query complexity O(1ε). Moreover, we show that our quantum algorithm is optimal. Afterwards we show that the classical randomized query complexity of this problem is Θ(1ε). Secondly, we consider the D-J problem from the perspective of functional correlations and let C(f, g) denote the correlation of f and g. We propose an exact quantum algorithm for making distinction between |C(f, g)| = ɛ and |C(f, g)| = 1 using six queries, while the classical deterministic query complexity for this problem is Θ(2n) queries. Finally, we propose a one-sided error quantum query algorithm for testing whether one Boolean function is balanced versus ɛ-far balanced using O(1ε) queries. We also prove here that our quantum algorithm for balancedness testing is optimal. At the same time, for this balancedness testing problem we present a classical randomized algorithm with query complexity of O(1/ɛ2). Also this randomized algorithm is optimal. Besides, we link the problems considered here together and generalize them to the general case.

On 1-stable perfectly balanced Boolean functions

2017 ◽  
Vol 27 (2) ◽  
Author(s):  
Stanislav V. Smyshlyaev
Keyword(s):  
Boolean Function ◽  
Boolean Functions ◽  
The Other ◽  
Correlation Immunity ◽  
Other Hand

AbstractThe paper is concerned with relations between the correlation-immunity (stability) and the perfectly balancedness of Boolean functions. It is shown that an arbitrary perfectly balanced Boolean function fails to satisfy a certain property that is weaker than the 1-stability. This result refutes some assertions by Markus Dichtl. On the other hand, we present new results on barriers of perfectly balanced Boolean functions which show that any perfectly balanced function such that the sum of the lengths of barriers is smaller than the length of variables, is 1-stable.

Clique Here: On the Distributed Complexity in Fully-Connected Networks

2016 ◽  
Vol 26 (01) ◽  
pp. 1650004 ◽  
Author(s):  
Benny Applebaum ◽  
Dariusz R. Kowalski ◽  
Boaz Patt-Shamir ◽  
Adi Rosén
Keyword(s):  
Boolean Function ◽  
Boolean Functions ◽  
Message Passing ◽  
Constant Number ◽  
Running Time ◽  
Message Size ◽  
Explicit Function ◽  
Randomized Protocols ◽  
Fully Connected ◽  
Fully Connected Networks

We consider a message passing model with n nodes, each connected to all other nodes by a link that can deliver a message of B bits in a time unit (typically, B = O(log n)). We assume that each node has an input of size L bits (typically, L = O(n log n)) and the nodes cooperate in order to compute some function (i.e., perform a distributed task). We are interested in the number of rounds required to compute the function. We give two results regarding this model. First, we show that most boolean functions require ‸ L/B ‹ − 1 rounds to compute deterministically, and that even if we consider randomized protocols that are allowed to err, the expected running time remains [Formula: see text] for most boolean function. Second, trying to find explicit functions that require superconstant time, we consider the pointer chasing problem. In this problem, each node i is given an array Ai of length n whose entries are in [n], and the task is to find, for any [Formula: see text], the value of [Formula: see text]. We give a deterministic O(log n/ log log n) round protocol for this function using message size B = O(log n), a slight but non-trivial improvement over the O(log n) bound provided by standard “pointer doubling.” The question of an explicit function (or functionality) that requires super constant number of rounds in this setting remains, however, open.

scholarly journals On diagnostic tests of contact break for contact circuits

2020 ◽  
Vol 30 (2) ◽  
pp. 103-116 ◽  
Author(s):  
Kirill A. Popkov
Keyword(s):  
Boolean Function ◽  
Diagnostic Test ◽  
Boolean Functions ◽  
Diagnostic Tests ◽  
Almost All

AbstractWe prove that, for n ⩾ 2, any n-place Boolean function may be implemented by a two-pole contact circuit which is irredundant and allows a diagnostic test with length not exceeding n + k(n − 2) under at most k contact breaks. It is shown that with k = k(n) ⩽ 2n−4, for almost all n-place Boolean functions, the least possible length of such a test is at most 2k + 2.

scholarly journals Exact quantum algorithms have advantage for almost all Boolean functions

2015 ◽  
pp. 435-452
Author(s):  
Andris Ambainis ◽  
Jozef Gruska ◽  
Shenggen Zheng
Keyword(s):  
Boolean Function ◽  
Boolean Functions ◽  
Quantum Algorithms ◽  
Quantum Algorithm ◽  
Query Complexity ◽  
Exact Quantum ◽  
Quantum Query Complexity ◽  
Almost All ◽  
Quantum Query

It has been proved that almost all n-bit Boolean functions have exact classical query complexity n. However, the situation seemed to be very different when we deal with exact quantum query complexity. In this paper, we prove that almost all n-bit Boolean functions can be computed by an exact quantum algorithm with less than n queries. More exactly, we prove that ANDn is the only n-bit Boolean function, up to isomorphism, that requires n queries.

scholarly journals On the confusion coefficient of Boolean functions

2021 ◽  
Vol 16 (1) ◽  
pp. 1-13
Author(s):  
Yu Zhou ◽  
Jianyong Hu ◽  
Xudong Miao ◽  
Yu Han ◽  
Fuzhong Zhang
Keyword(s):  
Boolean Function ◽  
Boolean Functions ◽  
Power Analysis ◽  
Signal To Noise Ratio ◽  
Sum Of Squares ◽  
Hamming Weight ◽  
Signal To Noise ◽  
Trade Offs ◽  
Cryptographic Algorithms ◽  
Transparency Order

Abstract The notion of the confusion coefficient is a property that attempts to characterize confusion property of cryptographic algorithms against differential power analysis. In this article, we establish a relationship between the confusion coefficient and the autocorrelation function for any Boolean function and give a tight upper bound and a tight lower bound on the confusion coefficient for any (balanced) Boolean function. We also deduce some deep relationships between the sum-of-squares of the confusion coefficient and other cryptographic indicators (the sum-of-squares indicator, hamming weight, algebraic immunity and correlation immunity), respectively. Moreover, we obtain some trade-offs among the sum-of-squares of the confusion coefficient, the signal-to-noise ratio and the redefined transparency order for a Boolean function.

Sign in / Sign up

Export Citation Format

Share Document