使用De Morgan法则来理解代码

 De Morgan法则：

!(x && y) → !x || !y!(x || y) → !x && !y

这有什么用呢？

举个例子，我们来看看这个求三位数中最小值的代码：

if (x < y && x < z)    min = x;else if (y < z)    min = y;else    min = z;

很多初学者（包括以前的我）对上面的逻辑感到难以理解，总是感觉似是而非。

我们现在利用De Morgan法则来看看，

第一条if，判断x < y && x < z，如果是真则最小值是x，这很好理解，关键是下面执行到else if (y < z)的条件是什么呢？自然是!(x < y && x < z)=x>=y || x >=z，所以如果运行到此步，就说明x一定比y,z这两个数的其中一个大，所以一定不是最小值，排除掉，接下来只要再判断y和z的大小就行了。