How do I make a 4x4 K-map for a 2-variable function?

For a (verilogger) multiplier that takes two 2-bit unsigned binary numbers. There are 2^2 = 4 possible combinations and 2^4 = 16. A 4x4 K-map would be easy to make except I only have 2 variables. Part of the project requirement is to make truth tables and K-maps, so it must be possible.





Is the sequence below in the correct order for a truth table and K-mapping as well as to follow gray code?





A B Product


0 0 0


0 1 0


0 2 0


0 3 0


1 0 0


1 1 1


1 2 2


1 3 3


2 0 0


2 1 2


2 2 4


2 3 6


3 0 0


3 1 3


3 2 6


3 3 9|||You're doing input in base ten!





Input is in binary, and each input is two digits of binary. That's why it's a two-by two, because you have four digits of data, two bits for A and two bits for B.