Switching function based on hypergraphs with algorithm and python programming

2020 ◽  
Vol 39 (3) ◽  
pp. 2845-2859
Author(s):  
Mohammad Hamidi ◽  
Marzieh Rahmati ◽  
Akbar Rezaei
Keyword(s):  
Normal Form ◽  
Boolean Functions ◽  
Disjunctive Normal Form ◽  
Truth Table ◽  
Boolean Logic ◽  
Switching Function ◽  
Logical Formula ◽  
Boolean Expression ◽  
Switching Functions ◽  
Python Programming

According to Boolean logic, a disjunctive normal form (DNF) is a canonical normal form of a logical formula consisting of a disjunction of conjunctions (it can also be described as an OR of AND’s). For each table an arbitrary T.B.T is given (total binary truth table) Boolean expression can be written as a disjunctive normal form. This paper considers a notation of a T.B.T, introduces a new concept of the hypergraphable Boolean functions and the Boolean functionable hypergraphs with respect to any given T.B.T. This study defines a notation of unitors set on switching functions and proves that every T.B.T corresponds to a minimum Boolean expression via unitors set and presents some conditions on a T.B.T to obtain a minimum irreducible Boolean expression from switching functions. Indeed, we generate a switching function in different way via the concept of hypergraphs in terms of Boolean expression in such a way that it has a minimum irreducible Boolean expression, for every given T.B.T. Finally, an algorithm is presented. Therefore, a Python programming(with complete and original codes) such that for any given T.B.T, introduces a minimum irreducible switching expression.

Minimizing Disjunctive Normal Form Formulas and $AC^0$ Circuits Given a Truth Table

2008 ◽  
Vol 38 (1) ◽  
pp. 63-84 ◽  
Author(s):  
Eric Allender ◽  
Lisa Hellerstein ◽  
Paul McCabe ◽  
Toniann Pitassi ◽  
Michael Saks
Keyword(s):  
Normal Form ◽  
Disjunctive Normal Form ◽  
Truth Table

scholarly journals Developing the minimization of a polynomial normal form of boolean functions by the method of figurative transformations

2021 ◽  
Vol 2 (4 (110)) ◽  
pp. 22-37
Author(s):  
Mykhailo Solomko ◽  
Iuliia Batyshkina ◽  
Nataliia Khomiuk ◽  
Yakiv Ivashchuk ◽  
Natalia Shevtsova
Keyword(s):  
Experimental Study ◽  
Normal Form ◽  
Boolean Functions ◽  
Transformation Method ◽  
Truth Table ◽  
Basis Functions ◽  
Polynomial Basis ◽  
Polynomial Functions ◽  
Sufficient Resource ◽  
Polynomial Normal Form

This paper reports a study that has established the possibility of improving the effectiveness of the method of figurative transformations in order to minimize Boolean functions on the Reed-Muller basis. Such potential prospects in the analytical method have been identified as a sequence in the procedure of inserting the same conjuncterms of polynomial functions followed by the operation of super-gluing the variables. The extension of the method of figurative transformations to the process of simplifying the functions of the polynomial basis involved the developed algebra in terms of the rules for simplifying functions in the Reed-Muller basis. It was established that the simplification of Boolean functions of the polynomial basis by a figurative transformation method is based on a flowchart with repetition, which is actually the truth table of the predefined function. This is a sufficient resource to minimize functions that makes it possible not to refer to such auxiliary objects as Karnaugh maps, Weich charts, cubes, etc. A perfect normal form of the polynomial basis functions can be represented by binary sets or a matrix that would represent the terms of the functions and the addition operation by module two for them. The experimental study has confirmed that the method of figurative transformations that employs the systems of 2-(n, b)-design, and 2-(n, x/b)-design in the first matrix improves the efficiency of minimizing Boolean functions. That also simplifies the procedure for finding a minimum function on the Reed-Muller basis. Compared to analogs, this makes it possible to enhance the performance of minimizing Boolean functions by 100‒200 %. There is reason to assert the possibility of improving the efficiency of minimizing Boolean functions in the Reed-Muller basis by a method of figurative transformations. This is ensured by using more complex algorithms to simplify logical expressions involving a procedure of inserting the same function terms in the Reed-Muller basis, followed by the operation of super-gluing the variables.

scholarly journals Complexity reduction of Toffoli networks based on FDD

2015 ◽  
Vol 28 (2) ◽  
pp. 251-262 ◽  
Author(s):  
Suzana Stojkovic ◽  
Milena Stankovic ◽  
Claudio Moraga
Keyword(s):  
Boolean Functions ◽  
Research Topic ◽  
Truth Table ◽  
Decision Diagrams ◽  
Important Research ◽  
Toffoli Gate ◽  
Important Research Topic ◽  
Switching Functions ◽  
Toffoli Gates ◽  
The Given

Synthesis of switching functions by Toffoli gates has become a very important research topic in the last years, since Toffoli gates are used in the synthesis of reversible circuits. Early methods based on the truth-table representation of Boolean functions are applicable to functions with a relatively small number of variables. Later on, methods for synthesis by Toffoli gates based on decision diagrams (BDDs, FDDs or OKFDDs) were introduced and applied to the synthesis of both reversible and irreversible functions. This paper presents a method for the reduction of the number of lines and gates in the Toffoli gate realization of Boolean functions based on their Functional Decision Diagram (FDD) representation. Experiments show that, when the proposed reduction is used, the realization of the given function based on FDD will, on the average, be smaller in terms of the number of lines and the number of gates than the realizations based on an OKFDD, an optimal BDD or based on a FDD by using previously defined algorithms.

Canalyzing minors of Boolean functions

2020 ◽  
Vol 13 (08) ◽  
pp. 2050160
Author(s):  
Ivo Damyanov
Keyword(s):  
Normal Form ◽  
Boolean Function ◽  
Upper Bound ◽  
Boolean Functions ◽  
Disjunctive Normal Form ◽  
Function Identification

Canalyzing functions are a special type of Boolean functions. For a canalyzing function, there is at least one argument, in which taking a certain value can determine the value of the function. Identification of variables can also shrink the resulting function into constant or function depending on one variable. In this paper, we discuss a particular disjunctive normal form for representation of Boolean function with its identification minors. Then an upper bound of the number of canalyzing minors is obtained. Finally, the number of canalyzing minors for Boolean functions with five essential variables is discussed.

IDENTIFICATION AND REALIZATION OF LINEARLY SEPARABLE BOOLEAN FUNCTIONS VIA CELLULAR NEURAL NETWORKS

2008 ◽  
Vol 18 (11) ◽  
pp. 3299-3308 ◽  
Author(s):  
BO MI ◽  
XIAOFENG LIAO ◽  
CHUANDONG LI
Keyword(s):  
Neural Networks ◽  
Directed Graph ◽  
Boolean Functions ◽  
Cellular Neural Networks ◽  
Truth Table

In this paper, an effective method for identifying and realizing linearly separable Boolean functions (LSBF) of six variables via Cellular Neural Networks (CNN) is presented. We characterized the basic relations between CNN genes and the truth table of Boolean functions. In order to implement LSBF independently, a directed graph is employed to sort the offset levels according to the truth table. Because any linearly separable Boolean gene (LSBG) can be derived separately, our method will be more practical than former schemes [Chen & Chen, 2005a, 2005b; Chen & He, 2006].

scholarly journals A Novel Graphical Technique for Combinational Logic Representation and Optimization

Complexity ◽  
2017 ◽  
Vol 2017 ◽  
pp. 1-12
Author(s):  
Vedhas Pandit ◽  
Björn Schuller
Keyword(s):  
Boolean Functions ◽  
Discrete Systems ◽  
Boolean Logic ◽  
Decision Diagrams ◽  
New Paradigm ◽  
Binary Decision ◽  
Graphical Technique ◽  
A New Technique ◽  
Logic Functions ◽  
Logical Functions

We present a new technique for defining, analysing, and simplifying digital functions, through hand-calculations, easily demonstrable therefore in the classrooms. It can be extended to represent discrete systems beyond the Boolean logic. The method is graphical in nature and provides complete ‘‘implementation-free” description of the logical functions, similar to binary decision diagrams (BDDs) and Karnaugh-maps (K-maps). Transforming a function into the proposed representations (also the inverse) is a very intuitive process, easy enough that a person can hand-calculate these transformations. The algorithmic nature allows for its computing-based implementations. Because the proposed technique effectively transforms a function into a scatter plot, it is possible to represent multiple functions simultaneously. Usability of the method, therefore, is constrained neither by the number of inputs of the function nor by its outputs in theory. This, being a new paradigm, offers a lot of scope for further research. Here, we put forward a few of the strategies invented so far for using the proposed representation for simplifying the logic functions. Finally, we present extensions of the method: one that extends its applicability to multivalued discrete systems beyond Boolean functions and the other that represents the variants in terms of the coordinate system in use.

Sign in / Sign up

Export Citation Format

Share Document