ifelse理解

不管是什么样的编程语言，介绍过基本的数据类型之后，就开始介绍程序流程控制，在程序流程控制中有两个是最主要的，一个是条件分支语句，另一个就是循环语句。条件分支语句，以类c语言为例，主要有if.....elif....else。

这里要说的一种情形1是：

 if(x>1){

        printf("%s","x is bigger than 1");

}

else{

        if(y>1)

                printf("%s", "y is bigger than 1");

        else

                printf("%s","y is smaller than 1");

}

另一种情形是2：

 if(x>1){

        printf("%s","x is bigger than 1");

}

else if(y>1){

                printf("%s", "y is bigger than 1");

}else{

                printf("%s","y is smaller than 1");

}

那么这里的1与2两种情形是否等价？

为了解决这个问题，采用两种思路

一，采用集合论的观点来分析：

定义x>1为事件A，定义y>1为事件B

那么情形1，三个分支对应的事件分别是：A，非A∩B，非A∩非B

对于情形2，三个分支对应的事件分别是：A，非A∩B，非(A∪非A∩B）

显然对于情形1和情形2，前两个分支是等价的，第三个分支，下面进行分析：

根据集合的运算性质：

非(A∪非A∩B）等价于 (非A)∩(非(非A∩B）等价于(非A)∩(A∪非B）等价于(非A∩A)∪(非A∩非B）

非A∩A是空集，所以上式等价于非A∩非B，也即与情形1的第三个分支等价。

对于多个分支的情形，也可以做类似推导；

所以情形1，和情形2，两种情形在实际编码过程中是等价的，都可以使用。

二，采用简单的事件互斥观点来分析

对于情形1，三个分支对应的事件分别是事件X1(A)，事件Y1(非A∩B)，事件Z1(即非A∩非B）;

显然事件X1,Y1,Z1互斥，且他们的并集等于全集；

对于情形2，三个分支对应的事件分别是事件X2(A)，事件Y2(非A∩B)，事件Z1(非(A∪非A∩B))；

显然事件X2,Y2,Z2也互斥，且他们的并集也等于全集；

对比情形1和2，事件X1和X2是同一个事件，事件Y1和Y2是同一个事件，那么显然事件Z1和Z2也必然是同一个事件，所以情形1和情形2等价；