Now for the next bracket, it works the same way, because again, we have X1 set to true, so the bracket evaluates to true, so the not evaluates to 0, and so again we have to set this to 1 which means X3 is 1 and we can go on through this the same way. 