论文部分内容阅读
针对主析取范式在命题逻辑中的作用,在文献[1]的理论基础上,给出了主析取范式的快速求法,这个快速求法能够准确快速求出一个命题公式的主析取范式。
主析取范式的快速求法
【摘 要】
：
针对主析取范式在命题逻辑中的作用,在文献[1]的理论基础上,给出了主析取范式的快速求法,这个快速求法能够准确快速求出一个命题公式的主析取范式。
【机 构】
：
长沙民政职业技术学院
【出 处】
：
科教文汇
【发表日期】
：
2008年35期
其他文献
古人注庄，一般认为庄子是一部超脱的哲学著作，而实际上，庄子是一部蕴含着深沉的悲剧意识的哲学。这种悲剧意识以理性为前提，灾难为媒介，在特定的现实中显示出特殊的含义，即悲剧性的
演板是小学数学课堂教学中常用的一种教学形式。仔细想一想,要提高课堂教学效率,演板在诸多方面都很值得研究研究。就拿让学生演板的时间来说吧,也有一些讲究。目前,让学生演
预防职务犯罪工作如何适应新常态,是县级检察机关一项极为重要的工作。此项工作实施到位,既能展示县级检察机关坚持＂立检为公、执法为民＂的新形象,又能使检察机关更好履职,强化
少数民族文化产业化是时代发展的要求。民族文化应该走市场化、产业化和艺术化、民族化相结合的路径,结合民族文化的具体形式和发展状态,完善制度和措施,实现繁荣民族文化,促
一、贵州省绿色产业发展现状贵州拥有发展绿色产业的先天条件,是全国目前生产无公害、绿色、有机农产品最为理想的区域之一。近二十年,贵州的农业投入不断增加,耕作条件也获
众所周知,现代化电教手段具有形、声、光、色的特点,它直观、生动、形象,感染力强,能引起学生对所学教材的兴趣和注意,对提高课堂教学效率具有重要的作用。但是,如果电化教学
王开林在3月29日的《解放日报》上撰文指出，初春时节，反腐的清风终于刮到美术界来，大多数画家的润格直降30％，订单锐减。官员受贿，太多的现金会让他们左右为难，艺术品既可养眼，又可升
本文从“小品”一词为切入点,追根溯源,对晋以来“小品”概念做一个梳理,并借此对“晚明小品”作出界定,指出晚明小品的涵盖面很广,是一种文类。而非清代《四库全书总目》以
高职教育教学必须把握实用性的本质要求。英语教学应体现“实用为主,够用为度”的方针,在教学中要做到学用结合,增加使用内容,创设语言情景,注重职业要求,使学生学了能用、会