论文部分内容阅读
针对主析取范式在命题逻辑中的作用,在文献[1]的理论基础上,给出了主析取范式的快速求法,这个快速求法能够准确快速求出一个命题公式的主析取范式。
主析取范式的快速求法
【摘 要】
：
针对主析取范式在命题逻辑中的作用,在文献[1]的理论基础上,给出了主析取范式的快速求法,这个快速求法能够准确快速求出一个命题公式的主析取范式。
【机 构】
：
长沙民政职业技术学院
【出 处】
：
科教文汇
【发表日期】
：
2008年35期
其他文献
古人注庄，一般认为庄子是一部超脱的哲学著作，而实际上，庄子是一部蕴含着深沉的悲剧意识的哲学。这种悲剧意识以理性为前提，灾难为媒介，在特定的现实中显示出特殊的含义，即悲剧性的
少数民族文化产业化是时代发展的要求。民族文化应该走市场化、产业化和艺术化、民族化相结合的路径,结合民族文化的具体形式和发展状态,完善制度和措施,实现繁荣民族文化,促