
计算命题公式的真值(数据结构)
5星
- 浏览量: 0
- 大小:None
- 文件类型:None
简介:
本段介绍如何利用数据结构来有效存储和计算命题公式的真值表,探讨布尔表达式求解算法及其优化方法。
命题演算公式是由逻辑变量(其值为TRUE或FALSE)以及逻辑运算符AND、OR、NOT按照一定规则组成的表达式。需要注意的是,蕴含之类的运算可以通过与、或、非三种基本操作来表示。在计算这些公式的真值时,应当遵循的优先级顺序是:先执行否定(NOT),然后进行合取(AND),最后完成析取(OR)。括号可以用来改变默认的操作顺序。给定一个命题演算公式及其变量的具体值后,设计程序以求得该公式的最终结果便是我们的目标。
全部评论 (0)
还没有任何评论哟~


