Simplifying the Boolean Equation Based o
Simplifying the Boolean Equation Based o
Abstract—In computerized integrated circuits, the Logic (PAL) and Programmable Logic Array (PLA)
fundamental principle intends to avoid the multifaceted [1], and here the amount of logic circuits are to be
nature of the circuitry by making it as brief as attainable maintained in a minimal form, the production costs
and minimize the expenditure. Techniques like Quine- of such devices will be decreased. The K map is
McCluskey (QM) and Karnaugh Map (K-Map) are often the graphical procedure to optimize Boolean function
used approaches of simplifying Boolean functions. This
study presents a recreation framework of simplification throughout the format of a minimal SOP form. Logic
of the Boolean capacities by the utilize of the K- Gate-wise, these observations resulted such a two-
Map definition for beginner-level learners. It uses the tier minimal system. It’s used mostly for many small
algebraic expression of the Boolean function to decrease design problems. It is obvious that several larger mod-
the number of terms, generates a circuit, and does els are carrying out using various computer method
not use any redundant sets. In this way, it gets to be implementations, and so we can obtain a pretty good
competent to deal with lots of parameters and minimize
insight in to digital logic gate circuit after learning K
the computational cost. The result of the assessment is
performed in this paper by contrasting it with the C- map. The process of logic to circuit design in digital
Minimizer algorithm. In computation time terms, the logic circuit design, AND, OR, and NOT are treated
result appears that our comprehensive K mapping tool as the basic boolean operations. These processes can be
outflanks in current procedures, and the relative error combined to construct complex expressions that can
accomplishes a lower rate of percentage (2%), which be directly converted into a hardware implemen- tation,
fulfills the satisfactory level. too. The construction cost of a logic gate circuit is
Index Terms—K-map, Digital Logic Design, Quine inferred by its Boolean Algebraic expression. Small
McCluskey(QM) technique, C minimizer . configuration circuit’s costs will be smaller than
biggest one. For a wide range of logic gate
I. I NTRODUCTION configuration is being performed with a tiny one and
OGIC-level simulation is one of the most the resulting functionality is the same as well, in that
L commonly performed electrical circuit practices,
during testing times and design. Amount of logic will
case, we will definitely take the small one because
of the low cost. It can be difficult to use Boolean
be integrated in a simple circuits grows fast, there is a algebra to simplify Boolean expressions and can lead
need for greater attempts to automate the designing to solutions that are not, although they seem minimal.
scheme. One of the key objectives is to develop Numerous studies have been conducted to simplify the
integrated logic circuit with the Programmable Array Boolean expression. First of all the Boolean function
is simplified by postulates and theorems in which
DOI: https://doi.org/10.3329/gubjse.v7i0.54025 there are no special regulations [2]. The very first
approach to minimize it seems to apply theorems
This paper was received on 9 January 2021, revised on 15 March of postulates and many other specific manipulation
2021 and accepted on 19 April 2021.
techniques. Best of our knowledge, literally, for a
Md. Jahidul Islam is with the Computer Science & Engineering,
Green University of Bangladesh, Dhaka, Bangladesh. E-mail: limited count of variable in the primary learning stage,
[email protected] the K map is very smooth and better, but it is difficult
Md. Gulzar Hussain is with the Computer Science & Engineering, to do it side by side when comes to more than 5
Green University of Bangladesh, Dhaka, Bangladesh. E-mail:
[email protected] variables. The goal of this research study is to work
Babe Sultana is with the Computer Science & Engineering, Green University with the primary level digital logic design learners who
of Bangladesh, Dhaka, Bangladesh. E-mail: [email protected]
Mahmuda Rahman is with the Computer Science & Engineering, are want to work with Boolean Expression and circuit
Green University of Bangladesh, Dhaka, Bangladesh. E-mail: mah- containing a large number of variables while they want
[email protected]
Md. Saidur Rahman is with the Computer Science & Engineering, Green to use the mapping approach for minimizing
University of Bangladesh, Dhaka, Bangladesh. E-mail: [email protected] Boolean function. The rest of our research paper
Muhammad Aminur Rahaman is with the Computer Science & is ornamented as follows. The background history
Engineering, Green University of Bangladesh, Dhaka, Bangladesh. E-mail:
[email protected] of Boolean Logic Design and its simplification
techniques with the decade invention of this area are But for dealing with a large number of variables, there
discussed in II. The demonstration and the process of is no definition. To minimize different circuit outputs,
the Kaurnaugh mapping are exhibited in section III. the author [22] suggested an Expanded K-MAP that
Overall demonstration of whole working procedures uses a single Karnaugh map. And essentially, in their
are exhibited in section IV. The impact of our research algorithm, the multiple Karnaugh-maps accumulated in
works with performance evaluation are described in a single Karnaugh-map. The experimental outcome of
section V. And at the end, we have concluded and their contribution and interpretation gives us an idea
addressed the future direction in section VI. that they function only for no more than 5 vari- ables.
Authors of [10] proposed a modified algorithm of K-
II. R ELATED W ORKS Map algorithm and implemented a K-map solver which
works up to 6 variables. It also performs better than C-
In this section, significant research has been dis-
Minimizer algorithm [7].
cussed below:
For big amount of variables, the common tabular
III. OVERVIEW OF K AURNAUGH M AP T OOL
method called the Quine McCluskey (QM) technique is
sufficient. This tabular technique is a step-by- step Kaurnaugh map optimizes the boolean function using
procedure which is a system-wise instruction the human’s ability to identify patterns. This re- search
introduced by Quine [3] first and McCluskey [4] paper presents a structure to implement the K- map for
demonstrated it in later. It operates for huge numbers optimizing the boolean function. A boolean function is
of variables, as far as we know. So it is perfect for fed to the system as an input. Then the sys- tem
controlling machines. Two main activities work for generates 2n positions in the K-map based on the input
QM method is as follows: a) Prime Implicates variables (n). In K-map each position contains a digit
Determination b) Collection of Critical Prime either zero or one to represent the output of the
Implicates [5]. Main sickening aspect of QM seems: function for the corresponding combination of the
QM is a NP Complete problem and computation times input.The system then generates minterm groups with a
of the algorithm enhance exponentially by the region of 2n (where, n = 0,1,2,...) with neighboring 1s.
increasing length of input [6]. Therefore, it is quite And then by evaluating which variables remain the same
difficult for primitive level DLD students to manage inside each box, algebraic minterms are derived.
the tabular method of QM. The common approach
of generalization, called the mapping method. Veitch
[7] suggested it first and then Karnaugh modified it.
[8], provides a smooth, transparent procedure for
reducing Boolean expressions.
The K map is truly an important instrument with few
parameters in the processing of algebra logic. In the
engineering field, this system is often used for various
purposes. Author prasad at el. [14] premises a K-map
like online cable virtualization engaging algorithm that
consists of two things, first one is scheduling
technique which is based on online and second one is
K-map-like embedding algorithm. Au- thor jinrong at
el. [18] offers an alg at el.orithm which is one of
the simplified way to use the idea of a relational Fig. 1: A Karnaugh Map with 4 × 4 Cells
database by using the Karnaugh map approach to
manage all candidate keys with usable dependency
sets. After all and above discussion, it can be said
that, working with such a wide range of variables for
the Karnaugh map will be a significant achievement
throughout this sector. The researcher [19] discusses a
prominent primary design of elec- tronics circuit issue
that is compounded by the Type 2 problem. This
resource gives an overview of their ongoing attempt to
reform techniques to deal with basic digital circuit
design problems through ’big’ Boolean algebraic
methods. In this research [20] has an integrated method
since it teaches students how to easily and logically
simplify Boolean equations step by step, including a
description of the phases and instances to explain
that. The author [21] suggests a modified method
of the Karnaugh map that gives students a
opportunity to analyze exactly how a K- map was Fig. 2: Block Schematic of the Suggested
generated and helps all to know some queries Implementation Framework for the Karnaugh Map
farther explicitly during the education in DLD.
Fig. 5: An Overview of all Possible Permutations of the Boolean Method Min-term Consisted of Three
Parameters.
D. Circuit Drawing from Expression This system uses the input expression 1 and gener-
The given algorithm 4, generates the required cir- ates truth table and simplified equation shown in Fig. 7.
cuit form the simplified equation. In this algorithm The best part is our it also generates the circuit (with
operators and operands are considered to generate minimum cost) diagram as Fig. 8. Moreover, 5
correspondingly circuits. variables K-Map truth table, optimal expression and
circuit diagram also shown in Fig. 9 and 10 respectively.
Algorithm 4: Algorithm for Circuit C. Performance Discussion
Genera- tion 1) Influences of increase in the number of Parameters
Input: Expression[] with relative error: A team of 100 Digital Logic Design
Output: Circuit (DLD) students and undertaking a Bachelor’s Degree in
1 Init len ← Expression[].len;
Computer Science and Engineering (CSE) inspected it
2 for k=0 to len do
after the implementation of the system. The students are
3 if Expression[k] is ’+’ then given three(3) groups of Boolean algebra expressions
4 Generate a OR circuit; with parameter number three(3), four(4), five(5), six(6),
5 Assign Expression[k-1] as left operand and seven(7) to evaluate soft- ware where various
of OR; numbers of equations are included in each set. This is
6 Assign Expression[k+1] as right achieved because it is more difficult to optimize
operand of OR; expression with a greater set of variables than just a
7 end lesser set of variables. For Boolean algebra equations
8 if Expression[k] is ’.’ or ’ ’ then with parameter numbers three (3), four(4), five(5),
9 Generate a AND circuit; six(6), and seven(7), the Table III displays relative and
10 Assign Expression[k-1] as left operand absolute errors.
of AND;
11 Assign Expression [k+1] as right TABLE III: RELATIVE ERROR FOR EXPRESSIONS
operand of AND; No. of No. of ex- Accurately Perfect Relative
Vari- pressions identified Error Error
12 end ables Expres-
13 if expression[k] is '!' then sions
14 Generate a NOT circuit; 200 196 4 0.022
4 400 390 10 0.026
15 Assign Expression [k-1] as operand of 600 584 16 0.027
NOT; 200 192 8 0.042
5 400 380 20 0.054
16 end 600 564 36 0.065
17 end 100 93 7 0.075
18 return Circuit; 6 200 187 13 0.070
300 279 21 0.075
50 44 6 0.136
V. P ERFORMANCE E VALUATION 7 100 83 17 0.205
150 126 24 0.190
A. Setup for Evaluating the System
With the following environment as shown in Table II, we TABLE IV: RELATIVE ERROR FOR CIRCUIT
have tested the established Karnaugh mapping No. of No. of Correctly Perfect Relative
visualization tool: Vari- Circuits Identified Error Error
ables
TABLE II: ENVIRONMENT SETUP 50 49 1 0.02
4 80 77 3 0.038
Operating System Window’s 10 64-bit 100 95 5 0.05
Processors Intel’s Core i5-3.5 GHz CPU 50 47 3 0.06
Memory 16 GB 5 70 64 6 0.086
Solid-State Drive 512 MB 90 80 10 0.11
IDE MS Visual’s Studio Express 2010 10 9 1 0.1
Language C# 6 20 17 3 0.15
30 25 5 0.17
B. Design of the Simulation system
For testing this application the cell numbers (as an From Table III, we do see that relative error increases
input) have been entered. Then, it have found the like those of the numbers of expression as well as the
following Sum of Product (SOP) expression 1 as the numbers of variables increases. We identified a
input of four variables and also have found optimal minimal relative error of 0.02 with 4 variables as well
expression 2 as output which is shown in Fig. 7. as a maximum of 7 expressions of the variables. Fig.
X ABCD ABCD ABCD ABCD 12 displays the relationship among the numbers of
parameters, the numbers of expression, and also the
ABCD ABCD ABCD ABCD (1)
respective error found in Table III. Moreover, Table
IV shows the relative error for circuit generation with
Y ACD ABC ACD ABD ACD (2) respect to the no. of variables. We have identified a
Fig. 7: Simplified Optimal Expression with Truth Table Created by the Expression System 1
are no latest projects on system creation to reduce the [4] E. J. McCluskey Jr, “Minimization of boolean functions,”
Bell system technical Journal, vol. 35, no. 6, pp. 1417–1444,
Boolean expressions, a comparative analysis is made 1956.
with the result found on paper [7]. The relation is seen [5] T. Rathore, “A note on the size of a karnaugh map,” IETE
in the tables III and IV and we’re seeing our Journal of Education, vol. 58, no. 1, pp. 3–6, 2017.
[6] A. B. Marcovitz and C. M. Shub, “An improved algorithm for
Karnaugh mapping system requires less effort for 3 to the simplification of switching functions using unique identi-
7 parameters than the C-Minimizer Method. The fiers on a karnaugh map,” IEEE Transactions on Computers,
explanation for this reduced time is, through the use vol. 100, no. 4, pp. 376–378, 1969.
[7] D. Nasa and U. Ghose, “C–minimizer algorithm: A new
of gray code series, our K-mapping system eliminates technique for data minimization,” International Journal of
repeating indices for min-terms. Finally, Table V shows Computer Applications, vol. 44, no. 17, pp. 15–19, 2012.
the comparative analysis of our system with various [8] V. Saxena, M. Srivastava, and D. Arora, “Performance estima-
tion of karnaugh map through uml,” International Journal of
approaches. Computer Science and Network Security, vol. 9, pp. 220–225,
2009.
[9] E. H. Aziz, “Design simulation system to simplifying boolean
equation by using karnaugh map,” AL-Rafidain Journal of
Computer Sciences and Mathematics, vol. 14, no. 1, pp. 97–
115, 2020.
[10] M. S. Rahman, R. Hasib, B. Sultana, M. G. Hussain, M. Rah-
man, and M. A. Rahaman, “An extensive karnaugh mapping
tool for boolean expression simplification,” in 2019 Interna-
tional Conference on Sustainable Technologies for Industry
4.0 (STI). IEEE, 2019, pp. 1–5.
[11] A. M. A. Rushdi, “Handling generalized type-2 problems
of digital circuit design via the variableentered karnaugh
map,” International Journal of Mathematical, Engineering
and Management Sciences (IJMEMS), vol. 3, no. 4, pp. 392–
403, 2018.
[12] C. Wang and Y. Tao, “Karnaugh maps of logical systems and
applications in digital circuit design,” Circuits, Systems, and
Fig. 13: Computational Time(ms) with Respect to Signal Processing, vol. 39, no. 5, pp. 2245–2271, 2020.
the Numbers of Variables of Our System with C- [13] Y. S. Abdalla, “Introducing the yasser-map as an improvement
Minimizer Algorithm [7]. of the karnaugh-map for solving logical problems,” in 2015
IEEE International Conference on Electrical, Computer and
Communication Technologies (ICECCT). IEEE, 2015, pp.
1–5.
VI. C ONCLUSION & F UTURE W ORK [14] V. Prasad, “Generalized karnaugh map method for boolean
functions of many variables,” IETE Journal of Education,
It is provided an endeavor to demonstrate a com- vol. 58, no. 1, pp. 11–19, 2017.
prehensive Karnaugh mapping method in this re- search [15] D.-S. Kim and H.-K. Jeong, “Design and analysis of educa-
paper, which provides an easy way to simplify Boolean tional java applets for learning simplification procedure using
karnaugh map,” Journal of Internet Computing and Services,
Expressions and circuit where there is a large vol. 16, no. 3, pp. 33–41, 2015.
number of variables. In this paper, it is shown that the [16] P. Murugavel, “Neural modified karnaugh map for boolean
results expose a strong correlation between the circuit,” International Journal of Trend in Research and
conceptual solution and the mathematical model’s Development (IJTRD), 2015.
[17] M. A. Nabulsi, A. A. Alkatib, and F. M. Quiam, “A new
predicted results. As it was said, the goal was to work method for boolean function simplification,” International
for students of digital logic design at the primary Journal of Control and Automation, vol. 10, no. 12, pp. 139–
146, 2017.
level, so any relative situational error may cause them [18] T. C. D. Jinrong, “A methord of using the next state karnaugh
anxiety. Still, this level of anxiety is much lower. map to analyse the sequential logic circuit [j],” JOURNAL OF
SICHUAN TEACHERS COLLEGE (NATURAL SCIENCE),
vol. 3, 1999.
ACKNOWLEDGEM ENT [19] W.-d. BAO and G.-y. JI, “The calculator assistance the karnaugh
This work was supported in part by the Center for map diagram turns over the logic function [j],” Computer
Research, Innovation, and Transformation (CRIT) of Knowledge and Technology (Academic Exchange), vol. 5,
2007.
Green University of Bangladesh (GUB) under grant No. [20] L. Rong-de, “Applications of combined karnaugh map in
7/2019 (CRIT, GUB). analysis of logic circuits [j],” Journal of Yangtze University
(Natural Science Edition) Sci & Eng V, vol. 4, 2009.
[21] P. Cobham, “An extension of karnaugh map technique to
R EFERENCES interface design,” Radio and Electronic Engineer, vol. 38,
no. 3, pp. 131–136, 1969.
[1] A. M. Rushdi, “Improved variable-entered karnaugh map [22] C. Yang and H. Jiao, “Low power karnaugh map approximate
procedures,” Computers & electrical engineering, vol. 13, adder for error compensation in loop accumulations,” in
no. 1, pp. 41–52, 1987. 2019 International Conference on IC Design and Technology
[2] V. Vyas, L. Jiang-Wei, P. Zhou, X. Hu, and J. S. Fried- (ICICDT). IEEE, 2019, pp. 1–4.
man, “Karnaugh map method for memristive and spintronic
asymmetric basis logic functions,” IEEE Transactions on
Computers, 2020.
[3] W. V. Quine, “The problem of simplifying truth functions,”
The American Mathematical Monthly, vol. 59, no. 8, pp.
521–531, 1952. [Online]. Available: http://www.jstor.org/
stable/2308219