Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given the boolean function

f(x,y,z) = xyz + xyz' + xy'z + xy'z' + x'yz + x'y'z + x'y'z' (where x' = not x)

In a three variable Karnaugh Map:

   yz   yz'  y'z'  y'z
x  1    1    1     1
x' 1         1     1

The goal is to group the adjacent units and simplifying using the distributive law since y+y' would equal one. This is all good, but when it comes to the above Karnaugh map, which one do I group together? The textbook says, it should be the biggest block but I am a bit confused in terms of what that means.

The final answer after simplification would yield:

x + y' + z
share|cite|improve this question
up vote 2 down vote accepted

I've marked the groups on the image below. As usual, the value of each group is the variable that remains constant in the group.

Red = x

Blue = y'

Green = z

So the answer is x + y' + z

Karnaugh map

share|cite|improve this answer
Thanks for the answer. The problem I am having is know which to include inside the circles. How come the blue circle not include the first column too? Wouldn't such grouping making it a bigger block? – user1234440 Nov 13 '12 at 23:30
The groups should always be rectangles, and the sides should be powers of two. So, in this case, we have groups that are 1x4, 2x2 and 2x2. If the blue group included the first column, it would be 2x3, which is not permitted. – Ricbit Nov 13 '12 at 23:31

K-Maps must be grouped in either 1,2,4,8 basically powers of 2.

This K map can be grouped in to 3 groups that have 4 in each group. Then look fro the variables that don't change.

The groups would look like this:

Group 1:

y' z' x'  
y' z' x  
y' z  x'  
y' z  x  

This simplifies to y'.

Group 2:

y  z  x  
y  z' x  
y' z' x  
y' z  x  

This simplifies to x.

Group 3:

y  z  x'  
y' z  x'  
y' z  x
y' z  x    

This simplifies to z.

So the boolean function is: y' + x + z

This is how the final answer is resolved.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.