I have this circuit:
I need to:
- find the output z
- make it a canonical SOP
- writing the minimal POS
- finally expressing z with only NAND ports.
I'd like to receive suggestion(tricks?)/correction on my attempt as I am not 100% sure about it.
Z output
Okay I have some doubts regard the second operand of z, the output of the MUX. Since a MUX it's just a OR of NANDs between input and control lines (here x1/x2) I skipped the 0s and come out with just x3* ~x1x2 ( since it's the position 01) and ~x3*x1x2. Is my logic right here?
z=x1x3+(~x1(x3 xor x2)) + (x3~x1x2+x1x2~x3)
Z as Canonical SOP
I just elaborated z (done the xor and multiplication):
z= x1x3+[~x1x2~x3+~x1~x2x3+~x1x2x3+x1x2~x3] = x1x2x3 + x1~x2x3 +[~x1x2~x3+~x1~x2x3+~x1x2x3+x1x2~x3]
Z as minimal POS
Once I had the canonical POS I just built the truth table, the only 0 where at 000/001 (~x3~x2~x1 / ~x3~x2x1) then I used a k-map and the minimal pos resulted: z=(x3+x2)
Expressing the whole thing with NANDs
I just started from the POS expression:
z = x3+x2 = NAND(~x3,~x2) = NAND(NAND(x3,x3),NAND(x2,x2))