论文部分内容阅读
真值表是命题逻辑理论中的一个重要概念，利用它可以求命题公式的主范式、判定命题公式的类型以及进行命题逻辑的推理等。本文给出了任意命题公式真值表的生成算法，为利用计算机解决命题逻辑中的其它问题奠定了基础.
命题公式真值表的生成算法
【摘 要】
：
真值表是命题逻辑理论中的一个重要概念，利用它可以求命题公式的主范式、判定命题公式的类型以及进行命题逻辑的推理等。本文给出了任意命题公式真值表的生成算法，为利用计算机
【机 构】
：
德州学院计算机系
【出 处】
：
计算机工程与科学
【发表日期】
：
2008年1期
其他文献
<正>大孔隙开级配沥青磨耗层(OGFC)采用连续开级配骨架-孔隙结构形式,可实现路面排水、降噪、抗滑的效果。本文依托实际工程,通过分析OGFC路面结构的原材料组成要求、施工工
研究包含时间窗、多车场因素的二维装箱车辆路径问题,建立相应的数学模型,并提出求解该问题的一种新的混合算法,混合算法由量子粒子群算法和引导式局部搜索算法组成。其中,量
为了解舍饲哈萨克羊分娩前后的行为变化,试验利用全天候摄像头对产房母羊分娩前第5天和分娩后第5天24h内的行为进行观察和记录。结果表明,舍饲哈萨克绵羊分娩前第5天昼夜24h
以稻草粉为基质，采用单因素试验和正交试验，对链霉菌LH-3发酵产木聚糖酶的条件进行研究。结果表明，最佳产酶条件为：辅加碳源为麸皮，种子培养时间为24h，接种量为14％，摇床转速为140r／min
学生“小组合作”已经成为英语课堂中重要教学方法之一。笔者通过观察和实践对“小组合作”做了初步的科学分析，指出它的优点，以及在平时教学中存在的一些误区和在课堂中应该注
"和"是中国古代哲学的主要指导思想之一,有学者将其列为中国古代哲学的最高范畴之一。和法是中医八法之一,用之得当可使临床疗效大大提高。中医治疗慢性肾脏病存在多种优势,