C++中的得摩根定理

在数字逻辑和离散数学以及概率论中都学到了德摩根定理，没想到，还可以在C++中用到；

在C++中逻辑表达式有时候很复杂，不容易理解，出了问题也很难检查。比如下面这个运算：

!(x==a&&y!=b&&z!=c);

需要简化逻辑表达式，需要用到德摩根定理，数学式为：

-(A∧B)=(-A)∨(-B)

-(A∨B)=(-A)∧(-B)

用这个运算方法上式可以改为：

（x!=a||y==b||z==c）;