实例 a、b、c之间有这样的逻辑关系：
if（a == 0 && b == 0）{c = 0;}
if（a == 0 && b == 1）{c = 1;}
if（a == 1 && b == 0）{c = 1;}
if（a == 1 && b == 1）{c = 0;}
对于上面的逻辑关系，我们可以用下表直观的表达：
| a | b | c |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
用c=1时a、b的状态来表示c。它们之间的逻辑关系可以用代数式表示为：c=!a*b+a*!b。翻译为代码：
if( （!a&&b） || （a&&!b） ){c;}else{!c} 上面的a、b可以是返回布尔值的语句，c是执行的操作。