Trouble with K-Map Minimizing Function: Who is Correct?

  • Thread starter Thread starter momentum
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around minimizing a function using Karnaugh Maps (K-Maps). Participants are evaluating the correctness of a solution presented in a book compared to their own solutions, focusing on the equivalence of expressions and the efficiency of the minimization process.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant questions the correctness of the book's solution and presents their own version.
  • Another participant asserts that the book's solution is equivalent to the participant's solution, citing fewer AND operations as a reason to prefer it.
  • Some participants argue about the validity of adding terms to the solution, specifically the term ##\bar B \bar C \bar D \bar E##.
  • There is a discussion about the representation of terms in the K-Map and the importance of highlighting maximum 1's versus single 1's.
  • A participant expresses that their solution is also correct but acknowledges it may not be the most efficient approach.
  • Another participant agrees that highlighting maximum 1's is the correct approach and provides a more efficient form of the expression.

Areas of Agreement / Disagreement

Participants express differing views on the correctness of the book's solution versus their own. There is no consensus on which solution is definitively correct, and discussions about the efficiency of the solutions remain unresolved.

Contextual Notes

Participants reference specific terms and conditions related to K-Map minimization, but there are unresolved aspects regarding the assumptions made about the diagrams and the terms used in the expressions.

momentum
Messages
111
Reaction score
0
Here is the minimize the function using K-Map given in my book
nzDkd5R.png
I have marked in red . Is that correct in book ? It seems wrong to me.Here is my solution.

R7m7vYh.png


Who is correct ?

thanks
 
Engineering news on Phys.org
Your result is equivalent to the solution in the book since ##\bar B \bar C D\bar E + \bar B \bar C \bar D\bar E = \bar B \bar C \bar E##. I would choose the book's solution over yours since it has one less AND operation.
 
  • Like
Likes   Reactions: berkeman
tnich said:
Your result is equivalent to the solution in the book since ##\bar B \bar C D\bar E + \bar B \bar C \bar D\bar E = \bar B \bar C \bar E##. I would choose the book's solution over yours since it has one less AND operation.
You can not add ## \bar B \bar C \bar D\bar E## because you don't have it . Check again.
 
momentum said:
You can not add ## \bar B \bar C \bar D\bar E## because you don't have it . Check again.
You must be looking at a different diagram than the one you posted. The one I see has ##1##s in the squares for ##B=C=D=E=0##. You don't seem to have any argument with the ## \bar B \bar C \bar D## term since you have it in your solution. But ## \bar B \bar C \bar D + \bar B \bar C \bar D\bar E = \bar B \bar C \bar D##, so you can add ##\bar B \bar C \bar D\bar E## to your solution to get an equivalent form.
 
Last edited:
  • Like
Likes   Reactions: Jody
I see it. It's circled even though it's enclosed in one of the groups of four probably to emphasize it.
 
tnich said:
The one I see has ##1##s in the squares for ##B=C=D=E=0##.

I don't see it. Can you please circle it in different color in my diagram ?

tnich said:
But ## \bar B \bar C \bar D + \bar B \bar C \bar D\bar E = \bar B \bar C \bar D##

How ?
 
Joshy said:
I see it. It's circled even though it's enclosed in one of the groups of four probably to emphasize it.
could you please mark in a different color in diagram . I don't see it.
 
momentum said:
I don't see it. Can you please circle it in different color in my diagram ?
Circled in blue
Kdiagram.png
 
Last edited:
momentum said:
How ?
##\bar B \bar C \bar D+\bar B \bar C \bar D\bar E=\bar B \bar C \bar D(1+\bar E)=\bar B \bar C \bar D(1)=\bar B \bar C \bar D##
 
  • #10
tnich said:
##\bar B \bar C \bar D+\bar B \bar C \bar D\bar E=\bar B \bar C \bar D(1+\bar E)=\bar B \bar C \bar D(1)=\bar B \bar C \bar D##

Okay. got it ... that works.

But in diagram in general , we should highlight max 1's in K-Map. ...right ? we should not be using Single 1s ( blue circle which you marked) if the max 1s is available ...am I right ?

my Solution is also correct ...right ?
 
Last edited:
  • #11
momentum said:
my Solution is also correct ...right ?
Functionally, yes. Maximally efficient, no. Leans a little bit in the direction of using a shotgun to kill a fly. :wink:
 
  • Like
Likes   Reactions: Jody
  • #12
momentum said:
But in diagram in general , we should highlight max 1's in K-Map. ...right ? we should not be using Single 1s ( blue circle which you marked) if the max 1s is available ...am I right ?
Yes, you are right, and that has been the point all along.
$$\begin{align}&\bar D \bar E+ \bar B \bar C \bar D + && \bar ACDE + BCD+\bar B\bar CD\bar E\nonumber\\
=&\bar D \bar E+ \bar B \bar C \bar D+\bar B \bar C \bar D \bar E + && \bar ACDE + BCD+\bar B\bar CD\bar E\nonumber\\
=&\bar D \bar E+ \bar B \bar C \bar D + && \bar ACDE + BCD+\bar B\bar CD\bar E+\bar B \bar C \bar D \bar E\nonumber\\
=&\bar D \bar E+ \bar B \bar C \bar D + && \bar ACDE + BCD+\bar B\bar C\bar E\nonumber\end{align}$$
replaces ##\bar B\bar CD\bar E## with ##\bar B\bar C\bar E## giving a more efficient form.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
5K
Replies
4
Views
2K
Replies
33
Views
4K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
10
Views
5K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 25 ·
Replies
25
Views
5K