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

时间:2022-01-27 22:32:51

德摩根定律

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