切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
赞助VIP
赞助VIP 即刻尊享
赞助搜论网 享受下载乐趣
赞助会员免费下论文
每天享受下载服务
享高速下载通道
专享客服优先
立即加入VIP
登 录
注 册
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
全文
搜索
您的位置
首页
期刊论文
命题公式真值表的生成与公式类型的机械判定
命题公式真值表的生成与公式类型的机械判定
来源 :甘肃联合大学学报:自然科学版 | 被引量 : 0次 | 上传用户:racerdan
【摘 要】
:
在文[1]的基础上.给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公
【作 者】
:
张会凌
【机 构】
:
甘肃联合大学数学与信息学院
【出 处】
:
甘肃联合大学学报:自然科学版
【发表日期】
:
2006年1期
【关键词】
:
命题公式
真值表
计算机计算和输出
永真式
永假式和可满足式
机械判定
propositional formula
truth value table
c
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在文[1]的基础上.给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公式是重言式、矛盾式或可满足式的机械判定.
其他文献
畜牧业生产污染与畜牧业可持续发展
随着畜牧业生产规模化、集约化和机械化程度的提高,畜牧业生产污染问题已达到相当严重程度。所谓“畜牧业可持续发展”就是既能满足人类目前对畜产品的需要,又不对未来的需求构
期刊
畜牧业生产
可持续发展
生产污染
生产规模化
机械化程度
畜禽废弃物
资源化利用
无害化处理
关于优化建筑给排水节能设计的思考
笔者以实践经验为基础,结合相关理论,对优化建筑给排水节能设计进行探析,首先,从节水器具方面进行了探讨,其次,分析了中水的回收与利用;再次,探讨了建筑给排水设计中消防水池的节水设
期刊
建筑
给排水
节能设计
土地事业单位固定资产计价与折旧方法
随着社会主义市场经济体制的建立和土地管理事业的不断发展,土地事业单位的基础业务不断拓展,引进了许多先进的仪器设备,正朝着面向社会、自主经营的法人实体转化。作为运行在市
期刊
固定资产
事业单位
土地管理
社会主义市场经济体制
折旧方法
计价
仪器设备
运输工具
基础业务
自主经营
浅析如何加强会计信息质量
新世纪以来,随着我国各行各业不断发展,对会计工作提出了新的要求。在当前信息大爆炸时代的大背景下,信息掌握能力的大小很大程度上左右了会计工作的质量。本文就如何加强会计信
期刊
信息质量
会计
措施
成功商务人士:没有商务只有生活
几乎所有面向成功商务人士的豪宅无不强调其便捷的商务环境和服务设施,这难道真是他们居住的主要标准吗?
期刊
房地产
新世界家园楼盘
建筑风格
营销理念
如何提高数学课堂教学的有效性
教师教学的过程实际上也是一个创造性的过程,是一个研究的过程,也是教师自身发展的最好的基本的渠道。在新课程“有效教学”的理念下,研究教材和教学实践相结合,不断积累和掌握有
期刊
数学
课堂教学
有效性
军旅歌曲在特殊场合下的特殊教育作用探析
特殊场合有着特殊的意义,军旅歌曲在特殊场合下也有着特殊的教育作用,要将这种教育作用发挥出来,歌曲的选择要符合一定的要求,同时指挥员也要注意把握住关键的问题。
期刊
军旅歌曲
特殊场合
教育作用
6株猪源乳酸杆菌的分离鉴定与生物学特性研究
本研究从健康乳猪肠道分离筛选出6株乳杆菌,所选菌株均能耐受浓度为0.8%~1.0%的牛胆盐,对pH 3.0的酸度有较强的抵抗力,对60℃高温环境有较强的耐受性,其代谢产物对含有K88、98
期刊
猪
乳杆菌
生物活性
研究
线性规划最优解的进一步研究
主要研究了线性规划最优解的参数表示,通过对某一最优解引入参数向量,得到新的LPP模型.通过求解LPP模型便可得到LP最优解的参数表达式.
期刊
LP问题
参数向量
最优解
LP problem
parametric vector
optimal solution
简述建筑工程中电气的安装施工技术
随着建筑业的发达,工程施工过程当中对电气的安装施工提出了更高的要求,电气的安装施工的技术不断改进才能适应时代的需要,笔者在多年的工作当中,积累了点滴的工作经验,下面结合笔
期刊
电气工程
施工安装
施工技术
质量控制
与本文相关的学术论文