@@ -56,7+56,7 @@ thus we have a convention where the result is *also a partitioned signal*, and c
the second observation then is that, actually, just like the other partitioned operations, it may be possible to "construct" the longer results from the 8x8 ones, based on whether the partition gates are open or closed.
-# Boolean truth table
+# Boolean truth table for Partitioned XOR
Exactly the same as for eq, instead the "xor" operator for example is the amalgamation of 4 partial results, x0 to x3.