verilog 缩位运算（缩位算子）的问题求教！

缩位运算的过程求教：""缩位或非运算""是按照如下过程吗?
-|a
=a[0](-|)a[1](-|)a[2](-|)a[3](-|)a[4]
=1(-|)z(-|)0(-|)x(-|)1
=0(-|)0(-|)x(-|)1
=1(-|)x(-|)1
=0(-|)1
=0
""缩位同或运算""是按照如下过程吗?
^~a
=a[0](^~)a[1](^~)a[2](^~)a[3](^~)a[4]
=1(^~)z(^~)0(^~)x(^~)1    //1(^~)z=z,对吗?
=z(^~)0(^~)x(^~)1
=z(^~)x(^~)1    //z(^~)x=x,对吗?
=x(^~)1
=x

自顶一个，求助

//1(^~)z=x,才对！参考相关文档。

3Q！
终于出现好人啦！