我正在寻找一种方法来使用Oracle数据库进行BITOR()并且遇到了一个建议,只需使用BITAND()代替BITOR(a,b)替换为+ b - BITAND(a,b).
我用手测试了几次并验证它似乎适用于我能想到的所有二进制数,但我无法想出为什么这是正确的快速数学证明. 有人可以开导我吗?
theory oracle binary computer-science proofs
binary ×1
computer-science ×1
oracle ×1
proofs ×1
theory ×1