在Apache Calcite学习过程中,有许多Boolean Logic需要进行优化,有时会出现比较专业的逻辑表达式词汇(CDF、DNF等),有什么意义呢?这篇文章主要记录一下布尔表达式满足的定律以及针对部分专业词汇的理解。
定理
条件1和条件2相等
| 条件1 | 条件2 | 定理名称 |
|---|---|---|
| P |
P | value3 |
| P |
P | value3 |
| P^TRUE | P | value3 |
| P^TRUE | P | value3 |
| P^TRUE | P | value3 |
| P^TRUE | P | value3 |
| P^TRUE | P | value3 |
| P^TRUE | P | value3 |
| P^TRUE | P | value3 |