Boolean Logic基础

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

定理

条件1和条件2相等

条件1 条件2 定理名称
P \vee TRUE P value3
P \wedge FALSE 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
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容