“归约或”运算具体是怎样运算的？

应该是这样的：
输入是一个数组，元素类型是bool，或者int。

归约或就是，逐个求或。最后得到一个值。
如下：
bool a[4] = {true, false, true, false};

规约或的结果就是
r = a[0] || a[1];
r = r || a[2];
r = r || a[3];

当然也可以是位运算，把||修改为|即可。数组元素改为int类型。

最常见的归约运算是归约加，就是SUM了。