Introduction In Simplification using K-Map we used minterms or Maxterms to group 1's or 0's respectively to form pair, quad or octets. There may be situations where all the 1's which are part of one group are overlapped by other groups or certain input conditions may not be contributing in getting the minterms or maxterms of the output functions. In the following discussions, we will see how to account for such conditions. Redundant Groups A redundant group is one whose all the 1’s have been used or ovelapped by other groups. We can always  eliminate such group. Let us take an example and understand how redundant group can be dropped thus not part of solution. Example: Simplify the SOP equation given by F(ABC) = ∑(2,3,5,7). Figure-1 There