Producing K map using two numbers
What does it mean by "The output, f, is to be 1 if and only if the two numbers equal to each other." ?


All that means is that AB == C, then f=1.  So if AB=1 &amp; C=1, f=1.  Same thing happens if AB=0 &amp; C=0, f=1.  

So from the question, I gathered that 0 to 2 means that you have A and B in terms of Binary as 00, 01, 10, and 11 is a don't care.  With that being said, the truth table would look as follows:


AB | C  | f
00 | 0  | 1
01 | 0  | 0
10 | 0  | 0
11 | 0  | X
00 | 1  | 0
01 | 1  | 1
10 | 1  | 0
11 | 1  | X


You can very easily extract the K-maps parameter from the truth table as it is essentially the same thing.