将析取范式转化为主析取范式

最新推荐文章于 2022-03-16 18:47:11 发布

weixin_30735745

最新推荐文章于 2022-03-16 18:47:11 发布

阅读量1.9k

点赞数

原文链接：http://www.cnblogs.com/dlut-li/p/5880306.html

版权

本文详细介绍了如何将析取范式转化为主析取范式的过程，涉及逻辑公式转换的关键步骤，旨在帮助理解逻辑推理中的这一重要技术。

摘要由CSDN通过智能技术生成

 1 #coding=utf-8
 2 
 3 my_input = '' #输入命题
 4 all_letters=[] #所有字母
 5 xiqu_result=[] #主析取结果
 6 
 7 def getInput():  #从键盘获取输入
 8   global my_input
 9   print u'\n 请输入任意一个命题，规则如下：'
10   print u" 1.'~'表示非"
11   print u" 2.'&'表示合取"
12   print u" 3.'|'表示析取 "
13   print u" 7.可以使用括号'()'"
14   print u" 8.优先级为'()'-->'~'-->'&'-->'|'"
15   print u'  o((>ω< ))o\n'
16   my_input=raw_input('