【摘 要】
:
本文提出如何判断一个公式为重言式、矛盾式、可满足式的方法。基于遗忘理论提出遗忘合式公式方法,在保持逻辑等值的条件下。遗忘掉公式的冗余命题变元,使得公式包含更少的命题
【机 构】
:
福州大学数学与计算机科学学院,福建农林大学计算机与信息学院
【基金项目】
:
福州大学校人才基金(XRC-0618)
论文部分内容阅读
本文提出如何判断一个公式为重言式、矛盾式、可满足式的方法。基于遗忘理论提出遗忘合式公式方法,在保持逻辑等值的条件下。遗忘掉公式的冗余命题变元,使得公式包含更少的命题变元,为判定命题公式类型提供一种能行的方法。
其他文献
在哈佛大学访学交流期间,笔者对本科生开设的有机化学课程进行了一年的听课与学习,从有机化学的课程设置、教学模式和方法、考核方式等方面对哈佛大学有机化学的教学进行深入
<正>国网湖南供电服务中心(计置中心)坚持"以客户为中心"的理念,找准核心业务与客户关注的融合点,以五大核心业务为原型,与国网公司新时代企业文化紧密对接,与供电优质服务紧
精准医学在围术期肺保护领域应用前景广阔。机械通气是临床上用于治疗急性肺损伤、急性呼吸窘迫综合征及改善低氧血症的重要手段。但临床上常由于呼吸参数使用不当,而使机械
资金是企业发展与运营的重点,如何通过有效的资金管控,实现对资金的有效划拨,提升企业整体的运营效率成为单位研究的重点。选择恰当的资金管控模式,更有效地运用资金,也是建
以工业碱木质素、苯酚和甲醛为主要壁材,采用反相乳液聚合法制备了木质素酚醛基阿维菌素微球。通过扫描电镜、红外光谱、比表面及孔结构分析仪对微球结构进行表征,着重研究了
针对表面粗糙度检测的离线性,提出了一种基于图像处理的表面粗糙度在线检测方法。由于工件和摄像装置之间的相对运动,图像产生模糊。论文以运动模糊图像的退化模型为基础,采
随着我国社会经济的飞速发展,企业面临的竞争形势越来越恶劣,加强企业内部的管理成为了重要的措施。特别是近年来,中小企业数量不断的增加,其发展也成为了我国市场经济中的重
中国的能源体系正在面临一场革命,源自三个因素:能源供给安全、雾霾治理和应对气候变化。能源革命的核心是两个替代:通过非化石能源替代化石能源,形成以可再生能源为绝对主体
ITO靶材主要用于制作液晶显示器、导电玻璃以及太阳能电池等。ITO靶材成形的工艺有冷静压成形、冲压成形、模压成形、挤压成形、凝胶注模成形、注浆成形等等。未来ITO靶材也
以西北荒漠地区油田长期堆放的含油污泥为研究对象,通过创造有利于微生物生长繁殖的条件,强化其降解石油类污染物的活性,测定修复效果。现场小试结果表明,采用试验优选的土壤