Lesson 8

Problem. Synthesize a circuit of size \(0\) over \(\varnothing\) computing the negativity-test function: \[\operatorname{ISNEG}_{8}(x) = [x_{7} = 1],\] where the 8-bit two's-complement value \(x\) is given by \(x_{7},\dotsc,x_{0}\).