test10.txt

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题

(!(p>q)>!(r|s))&((q>p)|!r)&r&((p>q)&(q>p))