I am curious as to what these values represent in "real life". Looks like perhaps some sort of a HW gate?
Why the differentiation between inputs A and B?

I suppose:
If an input_array token (like N3) is in both A and B, then: CC0=1 and CC1 =1.
If an input_array token is in A but not in B, then "only 1 input is PI".
If an input_array token is not in A regardless whether it is in B or not, then: "this is a wire".

Looks odd to me...Is this logic correct? Is the case where input_array token is in B but not in A important? obviously in A but not in B is a special case.