使用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的大小就行了。

转载于 http://blog.csdn.net/laciqs/article/details/6606775