使用De Morgan德摩根定律理解代码

德摩根定律

非(P 且 Q)=(非 P)或(非 Q)
非(P 或 Q)=(非 P)且(非 Q)

!(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的大小就行了。

使用De Morgan德摩根定律理解代码

原文：http://my.oschina.net/crucian/blog/526404