数理逻辑上机试题2012

数理逻辑上机试题2012

ID:6572025

大小:27.00 KB

页数:2页

时间:2018-01-18

数理逻辑上机试题2012_第1页
数理逻辑上机试题2012_第2页
资源描述:

《数理逻辑上机试题2012》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、数理逻辑上机试题输入公式的符号说明:!非,相当于书面符号中的“¬”&与,相当于书面符号中的“∧”

2、或,相当于书面符号中的“∨”-蕴含联结词,相当于书面符号中的“→”+等价联结词,相当于书面符号中的“↔”(前括号)后括号试题一实现功能:输入命题公式的合式公式,求出公式的真值表,并输出该公式的主合取范式和主析取范式。输入:命题公式的合式公式输出:公式的主析取范式和主析取范式,输出形式为:“mi∨mj;Mi∧Mj”,极小项和∨符号之间有一个空格,极大项和∧符号之间有一个空格;主析取范式和主合取范式之间用“;”隔开,“;”前后各有一个空格。永真式的主合取范式为1,永假式的主析取范式为

3、0。例如:1、输入:a&b输出:m3;M0∧M1∧M22、输入:a

4、b输出:m2∨m3;M0∧M1试题二实现功能:消解算法输入:合式公式A的合取范式输出:当A是可满足时,回答“YES”;否则回答“NO”。例如:1、输入:(!p

5、q)&(p

6、q)&(!q)输出:NO2、输入:p&(p

7、q)&(p

8、!q)&(q

9、!r)&(q

10、r)输出:YES

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。