命题公式真值表的生成与公式类型的机械判定

来源 :甘肃联合大学学报:自然科学版 | 被引量 : 0次 | 上传用户:racerdan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在文[1]的基础上.给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公式是重言式、矛盾式或可满足式的机械判定.
其他文献
随着畜牧业生产规模化、集约化和机械化程度的提高,畜牧业生产污染问题已达到相当严重程度。所谓“畜牧业可持续发展”就是既能满足人类目前对畜产品的需要,又不对未来的需求构
笔者以实践经验为基础,结合相关理论,对优化建筑给排水节能设计进行探析,首先,从节水器具方面进行了探讨,其次,分析了中水的回收与利用;再次,探讨了建筑给排水设计中消防水池的节水设
随着社会主义市场经济体制的建立和土地管理事业的不断发展,土地事业单位的基础业务不断拓展,引进了许多先进的仪器设备,正朝着面向社会、自主经营的法人实体转化。作为运行在市
新世纪以来,随着我国各行各业不断发展,对会计工作提出了新的要求。在当前信息大爆炸时代的大背景下,信息掌握能力的大小很大程度上左右了会计工作的质量。本文就如何加强会计信
几乎所有面向成功商务人士的豪宅无不强调其便捷的商务环境和服务设施,这难道真是他们居住的主要标准吗?
教师教学的过程实际上也是一个创造性的过程,是一个研究的过程,也是教师自身发展的最好的基本的渠道。在新课程“有效教学”的理念下,研究教材和教学实践相结合,不断积累和掌握有
特殊场合有着特殊的意义,军旅歌曲在特殊场合下也有着特殊的教育作用,要将这种教育作用发挥出来,歌曲的选择要符合一定的要求,同时指挥员也要注意把握住关键的问题。
本研究从健康乳猪肠道分离筛选出6株乳杆菌,所选菌株均能耐受浓度为0.8%~1.0%的牛胆盐,对pH 3.0的酸度有较强的抵抗力,对60℃高温环境有较强的耐受性,其代谢产物对含有K88、98
主要研究了线性规划最优解的参数表示,通过对某一最优解引入参数向量,得到新的LPP模型.通过求解LPP模型便可得到LP最优解的参数表达式.
随着建筑业的发达,工程施工过程当中对电气的安装施工提出了更高的要求,电气的安装施工的技术不断改进才能适应时代的需要,笔者在多年的工作当中,积累了点滴的工作经验,下面结合笔