Design and implement a digital circuit which will detect a 4 bit number which is less than 3 or greater than 12 or divisible by 3 (if conditions are met, the output is 1, 0 otherwise). Implement the circuit with NAND only logic gate.
I've derived a truth table to it which looks like this:

But in the example that my professor showed in class, he was able to have outputs such as W,X,Y,Z. From there he derived the circuit with the output. I seem to be stuck on the very first step because I am not sure how to translate this truth table to have results in the form of WXYZ. It seems like I only have one end result.
Also, if you want to simplify things a bit, notice that the table is symmetric.
– sbares Feb 18 '15 at 07:34