I was looking through the HW 1 solutions. And it looks like the very last one has an error.
The problem was 5b and it was implementing (xy!z + z + !x!y + xy) using only nor gates.
The answer given was
!( !(!x+!y+z) + z + !(x+y) + !(!x+!y) )
This is the logic for !(xy!z + z + !x!y + xy) since only a single inversion was added.
It should instead be !( !( !(!x+!y+z) + z + !(x+y) + !(!x+!y) )). Since !!A = A.
and the picture should have another nor gate attached to the final output.
Maybe people could add this thread when they find other hw solution errors.
