Various Implicants in K-Map
Last Updated :
23 Sep, 2024
Implicant is a product/minterm term in Sum of Products (SOP) or sum/maxterm term in Product of Sums (POS) of a Boolean function. For example, consider a Boolean function, F = AB + ABC + BC. Implicants are AB, ABC, and BC.
In this article, we will explore various implicants in K-Map with examples for better understanding and k-map diagram. Also, we will look into the Boolean expressions formed for each k-map.
Various Implicants in K-Map
An implicant can be defined as a product/minterm term in Sum of Products (SOP) or sum/maxterm term in Product of Sums (POS) of a Boolean function.
There are various implicant in K-Map listed below :
- Prime Implicant (PI)
- Essential Prime Implicant (EPI)
- Redundant Prime Implicant (RPI)
- Selective Prime Implicant (SPI)
POS and SOP are the types of boolean expression formed according to the given K-Map. POS stands for Product of Sum created by using maxterms and SOP stands for Sum of Product created by using minterms.
Prime Implicants
A group of squares or rectangles made up of a bunch of adjacent minterms which is allowed by the definition of K-Map are called prime implicants(PI) i.e. all possible groups formed in K-Map.
Example of Prime Implicants
Here we have an example of prime implicant for better understanding given below :

Essential Prime Implicants
These are those subcubes(groups) that cover at least one minterm that can’t be covered by any other prime implicant. Essential prime implicants(EPI) are those prime implicants that always appear in the final solution.
Example of Essential Prime Implicants
Here we have 2 examples of prime implicant for better understanding given below :

Redundant Prime Implicants
The prime implicants for which each of its minterm is covered by some essential prime implicant are redundant prime implicants(RPI). This prime implicant never appears in the final solution.
Example of Redundant Prime Implicants
Here we have 2 examples of prime implicant for better understanding given below :

Selective Prime Implicants
The prime implicants for which are neither essential nor redundant prime implicants are called selective prime implicants(SPI). These are also known as non-essential prime implicants. They may appear in some solution or may not appear in some solution.
Example of Selective Prime Implicants
Here we have 2 examples of prime implicant for better understanding given below :

Solved Examples of Various Implicants in K-Map
Here we have 2 examples of prime implicant for better understanding given below :
Example 1
Given F = ∑(1, 5, 6, 7, 11, 12, 13, 15), find number of implicant, PI, EPI, RPI and SPI.

Expression : BD + A'C'D + A'BC+ ACD+ABC'
No. of Implicants = 8
No. of Prime Implicants(PI) = 5
No. of Essential Prime Implicants(EPI) = 4
No. of Redundant Prime Implicants(RPI) = 1
No. of Selective Prime Implicants(SPI) = 0
Example 2
Given F = ∑(0, 1, 5, 8, 12, 13), find number of implicant, PI, EPI, RPI and SPI.

Expression : A'B'C'+ C'DB + C'D'A
No. of Implicants = 6
No. of Prime Implicants(PI) = 6
No. of Essential Prime Implicants(EPI) = 0
No. of Redundant Prime Implicants(RPI) = 0
No. of Selective Prime Implicants(SPI) = 6
Example 3
Given F = ∑(0, 1, 5, 7, 15, 14, 10), find number of implicant, PI, EPI, RPI and SPI.

No. of Implicants = 7
No. of Prime Implicants(PI) = 6
No. of Essential Prime Implicants(EPI) = 2
No. of Redundant Prime Implicants(RPI) = 2
No. of Selective Prime Implicants(SPI) = 4
Conclusion
In the conclusion, we have basically four types of implicants in k-map named as Prime Implicants(PI), Essential Prime Implicants(EPI), Redundant Prime Implicants(RPI) and Selective Prime Implicants(SPI). These four types provides a clear structure in the formation of groups in k-map which makes the Boolean expression formed with more clarity.
Read More:
Practices Problems
1. Finding Prime Implicants
– Simplify the following Boolean function using a K-Map and identify all prime implicants:
f(A, B, C, D) = ∑(0, 1, 2, 5, 8, 9, 10, 14)
2. Minimization with Don’t Care Conditions
– Given the Boolean function with don’t care conditions, use a K-Map to minimize it:
f(A, B, C) = ∑(0, 1, 2, 5, 7) + d(3, 6)
3. Finding Essential Prime Implicants
– For the following function, find the essential prime implicants using a K-Map:
f(A, B, C, D) = ∑(1, 3, 7, 11, 15) + d(0, 2, 5)
4. Four-Variable K-Map Minimization
– Simplify the given Boolean function using a 4-variable K-Map:
f(A, B, C, D) = ∑(1, 3, 7, 11, 15, 19, 23, 27, 31)
5. Implicants and Essential Prime Implicants
– Determine all implicants and essential prime implicants for the function:
f(A, B, C) = ∑(0, 1, 2, 3, 5, 7)
6. Three-Variable K-Map Simplification
– Use a 3-variable K-Map to simplify the Boolean function:
f(A, B, C) = ∑(1, 3, 4, 6, 7)
7. Five-Variable K-Map Minimization
– Simplify the following Boolean function using a 5-variable K-Map:
f(A, B, C, D, E) = ∑(1, 3, 7, 15, 31)
8. Minimizing Boolean Expressions with Don’t Cares
– Given the function and don’t care conditions, use a K-Map to minimize:
f(A, B, C, D) =∑(2, 3, 5, 7, 11, 13) + d(0, 1, 9, 15)
9. Identification of Prime and Essential Prime Implicants
– For the following Boolean function, identify all prime implicants and essential prime implicants:
f(A, B, C, D) = ∑(4, 5, 6, 7, 12, 13, 14, 15)
10. Simplification Using K-Map with Multiple Variables
– Simplify the Boolean function using a K-Map and identify any essential prime implicants:
f(A, B, C, D, E) = ∑(0, 1, 2, 5, 8, 9, 10, 14, 16, 17, 18, 21)
Various Implicants in K-Map – FAQs
What is the difference between essential prime implicant and prime implicant?
An Essential Prime Implicants(EPI) is a subset of Prime Implicants(PI) where EPI contains at least one “1” or minterms that is not shared in any other PI or group made in a k-map.
What is POS and SOP used in Various Implicants in K-Map ?
POS and SOP are the types of boolean expression formed according to the given K-Map. POS stands for Product of Sum created by using maxterms and SOP stands for Sum of Product created by using minterms.
What is the maximum essential prime implicants?
The maximum essential prime implicants for a n-variable Boolean function will be 2(n – 1)
Similar Reads
Digital Electronics and Logic Design Tutorials
Digital Electronics and Logic Design are key concepts in both electronics and computer science. Digital systems are at the core of everything from basic devices like calculators to advanced computing systems. Digital systems use binary numbers (0s and 1s) to represent and process information.Logic g
4 min read
Boolean Algebra and Logic Gates
Logic Gates - Definition, Types, Uses
Logic Gates are the fundamental building blocks in digital electronics. There are basically seven main types of logic gates which are used to perform various logical operations in digital systems. By combining different logic gates complex operations are performed and circuits like flip-flop, counte
9 min read
Basic Conversion of Logic Gates
In the Digital System, logic gates are the basic building blocks. Â In these logic gates, we can find the gates having more than one input, but will have only one output. The connection between the input and the output of a gate is based on some logic. Based on this logic, different gates are develop
6 min read
Realization of Logic Gate Using Universal gates
In Boolean Algebra, the NAND and NOR gates are called universal gates because any digital circuit can be implemented by using any one of these two i.e. any logic gate can be created using NAND or NOR gates only. Every logic gate has a representation symbol. The below image shows a graphical represen
8 min read
Canonical and Standard Form
Canonical Form - In Boolean algebra, the Boolean function can be expressed as Canonical Disjunctive Normal Form known as minterm and some are expressed as Canonical Conjunctive Normal Form known as maxterm. In Minterm, we look for the functions where the output results in "1" while in Maxterm we loo
6 min read
Types of Integrated Circuits
In this article, we will go through the Types of Integrated Circuits, we will start our article with the introductions of the ICs, then we will go through different types of ICs one by one, At last, we will conclude our article will their applications, advantages, disadvantages and some FAQs. Table
7 min read
Minimization Techniques
Minimization of Boolean Functions
As discussed in the "Representation of Boolean Functions" every boolean function can be expressed as a sum of minterms or a product of maxterms. Since the number of literals in such an expression is usually high, and the complexity of the digital logic gates that implement a Boolean function is dire
3 min read
Introduction of K-Map (Karnaugh Map)
In many digital circuits and practical problems, we need to find expressions with minimum variables. We can minimize Boolean expressions of 3, 4 variables very easily using K-map without using any Boolean algebra theorems. It is a tool which is used in digital logic to simplify boolean expression. I
4 min read
5 variable K-Map in Digital Logic
Prerequisite - Implicant in K-Map Karnaugh Map or K-Map is an alternative way to write a truth table and is used for the simplification of Boolean Expressions. So far we are familiar with 3 variable K-Map & 4 variable K-Map. Now, let us discuss the 5-variable K-Map in detail. Any Boolean Express
5 min read
Various Implicants in K-Map
Implicant is a product/minterm term in Sum of Products (SOP) or sum/maxterm term in Product of Sums (POS) of a Boolean function. For example, consider a Boolean function, F = AB + ABC + BC. Implicants are AB, ABC, and BC. In this article, we will explore various implicants in K-Map with examples for
6 min read
Don't Care (X) Conditions in K-Maps
One of the most important concepts in simplifying output expressions using Karnaugh Maps (K-Maps) is the 'Don't Care' condition. The 'Don't Care' conditions allow us to treat certain cells in a K-Map as either 0, 1, or to ignore them altogether, which can help in forming larger and more efficient gr
4 min read
Quine McCluskey Method
Boolean function simplification is one of the basics of Digital Electronics. The quine-McCluskey method also called the tabulation method is a very useful and convenient method for simplification of the Boolean functions for a large number of variables (greater than 4). This method is useful over K-
8 min read
Two Level Implementation of Logic Gates
The term "two-level logic" refers to a logic design that uses no more than two logic gates between input and output. This does not mean that the entire design will only have two logic gates, but it does mean that the single path from input to output will only have two logic gates. In two-level logic
10 min read
Combinational Circuits
Half Adder in Digital Logic
A half adder is a digital logic circuit that performs binary addition of two single-bit binary numbers. It has two inputs, A and B, and two outputs, SUM and CARRY. The SUM output is the least significant bit (LSB) of the result, while the CARRY output is the most significant bit (MSB) of the result,
5 min read
Full Adder in Digital Logic
Full Adder is the adder that adds three inputs and produces two outputs. The first two inputs are A and B and the third input is an input carry as C-IN. The output carry is designated as C-OUT and the normal output is designated as S which is SUM. The C-OUT is also known as the majority 1's detector
4 min read
Half Subtractor in Digital Logic
A half subtractor is a digital logic circuit that performs binary subtraction of two single-bit binary numbers. It has two inputs, A and B, and two outputs, DIFFERENCE and BORROW. The DIFFERENCE output is the difference between the two input bits, while the BORROW output indicates whether borrowing
3 min read
Full Subtractor in Digital Logic
A full subtractor is a combinational circuit that performs subtraction of two bits, one is minuend and other is subtrahend, taking into account borrow of the previous adjacent lower minuend bit. This circuit has three inputs and two outputs. The three inputs A, B and Bin, denote the minuend, subtrah
3 min read
Parallel Adder and Parallel Subtractor
Adding and Subtracting numbers is very simple in digital electronics. To do this for quickly and efficiently, Most of the for binary numbers (numbers made of 1 and 0), we use circuits like the Parallel Adder and Parallel Subtractor. These types of circuits can handle more than one bit at a time, mak
6 min read
Sequential Binary Multiplier
In this article, we are going to learn how a sequential binary multiplier works with examples. So for that, we also need to learn a few concepts related to the sequential circuit, binary multipliers, etc. Finally solving the examples using a sequential binary multiplier method. Sequential CircuitA s
12 min read
Multiplexers in Digital Logic
In this article we will go through the multiplexer, we will first define what is a multiplexer then we will go through its types which are 2x1 and 4x1, then we will go through the Implementation of the 2x1 mux and higher mux with lower order mux, At last we will conclude our article with some applic
10 min read
Event Demultiplexer in Node.js
Node.js is designed to handle multiple tasks efficiently using asynchronous, non-blocking I/O operations. But how does it manage multiple operations without slowing down or blocking execution? The answer lies in the Event Demultiplexer. The Event Demultiplexer is a key component of Node.js's event-d
3 min read
Binary Decoder in Digital Logic
A binary decoder is a digital circuit that converts a binary code into a set of outputs. The binary code represents the position of the desired output and is used to select the specific output that is active. Binary decoders are the inverse of encoders and are commonly used in digital systems to con
7 min read
Encoder in Digital Logic
An encoder is a digital circuit that converts a set of binary inputs into a unique binary code. The binary code represents the position of the input and is used to identify the specific input that is active. Encoders are commonly used in digital systems to convert a parallel set of inputs into a ser
7 min read
Code Converters - Binary to/from Gray Code
In this article, we will go through Code Converters - Binary to/from Gray Code,we will start our article by defining Code converters, Binary code and Gray code, and then we will go through the conversion of binary code to gray code and vice versa. At last, we will conclude our article with some faqs
9 min read
Magnitude Comparator in Digital Logic
A magnitude digital Comparator is a combinational circuit that compares two digital or binary numbers in order to find out whether one binary number is equal, less than, or greater than the other binary number. We logically design a circuit for which we will have two inputs one for A and the other f
7 min read
Sequential Circuits
Introduction of Sequential Circuits
Sequential circuits are digital circuits that store and use the previous state information to determine their next state. Unlike combinational circuits, which only depend on the current input values to produce outputs, sequential circuits depend on both the current inputs and the previous state stor
7 min read
Difference between Combinational and Sequential Circuit
In digital electronics, circuits are classified into two primary categories: The combinational circuits and the sequential circuits. Where the outputs depend on the current inputs are called combination circuit, combinational circuits are simple and effective for functions like addition, subtraction
4 min read
Latches in Digital Logic
Latch is a digital circuit which converts its output according to its inputs instantly. To implement latches, we use different logic gates. In this article, we will see the definition of latches, latch types like SR, gated SR, D, gated D, JK and T with its truth table and diagrams and advantages and
7 min read
Flip-Flop types, their Conversion and Applications
In this article, we will go through the Flip-Flop types, their Conversion and their Applications, First, we will go through the definition of the flip-flop with its types in brief, and then we will go through the conversion of the flip-flop with its applications, At last, we will conclude our articl
7 min read
Register, Counter, and Memory Unit
Counters in Digital Logic
A Counter is a device which stores (and sometimes displays) the number of times a particular event or process has occurred, often in relationship to a clock signal. Counters are used in digital electronics for counting purpose, they can count specific event happening in the circuit. For example, in
4 min read
Ripple Counter in Digital Logic
Counters play a crucial role in digital logic circuits, enabling tasks such as clock frequency division and sequencing. This article explores the concept of ripple counters, a type of asynchronous counter, their operation, advantages, and disadvantages in digital logic design. What is a Counter?Coun
5 min read
Ring Counter in Digital Logic
A ring counter is a typical application of the Shift register. The ring counter is almost the same as the shift counter. The only change is that the output of the last flip-flop is connected to the input of the first flip-flop in the case of the ring counter but in the case of the shift register it
3 min read
General Purpose Registers
A register is a collection of flip-flops. Single bit digital data is stored using flip-flops. By combining many flip-flops, the storage capacity can be extended to accommodate a huge number of bits. We must utilize an n-bit register with n flip flops if we wish to store an n-bit word. General Purpos
8 min read
Shift Registers in Digital Logic
Pre-Requisite: Flip-Flops Flip flops can be used to store a single bit of binary data (1 or 0). However, in order to store multiple bits of data, we need multiple flip-flops. N flip flops are to be connected in order to store n bits of data. A Register is a device that is used to store such informat
8 min read
Computer Memory
Computer memory is just like the human brain. It is used to store data/information and instructions. It is a data storage unit or a data storage device where data is to be processed and instructions required for processing are stored. It can store both the input and output can be stored here. It's f
8 min read
Random Access Memory (RAM)
Random Access Memory (RAM) is a type of computer memory that stores data temporarily. When you turn off your computer, the data in RAM disappears, unlike the data on your hard drive, which stays saved. RAM helps your computer run programs and process information faster. This is similar to how the br
11 min read
Read Only Memory (ROM)
Memory plays a crucial role in how devices operate, and one of the most important types is Read-Only Memory (ROM). Unlike RAM (Random Access Memory), which loses its data when the power is turned off, ROM is designed to store essential information permanently. Here, weâll explore what ROM is, how it
8 min read
Practice Questions - Digital Logic & Design