人工智能王浩算法
2016-08-23
4 0 0
4.0 分
其他
如何获取积分?
命题逻辑王浩算法实现,完整可以直接运行。对于给定公式如(p<->q)->(p->q)函数 simplify 将其化为只有!,->。 函数 rule1, rule2, rule3,rule4,分别对应王浩算法的四个规则,通过不断调用这四个函数,直到将原来公式化为
只由原子符号组成的公式行,然后根据王浩算法的公理判断公式是不是恒真的。
只由原子符号组成的公式行,然后根据王浩算法的公理判断公式是不是恒真的。
c
算法
人工智能
相关源码推荐
pclite
0
0
暂无评分
通用嵌入式FTP客户端
0
0
暂无评分
UDP测试演示
0
0
暂无评分
TMS320F28335 DSP通过SPI 方式与EEPROM 传输数据
0
0
暂无评分
TMS320F28335 CAN通信源码
0
0
暂无评分
暂无评论