test2.txt

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

a>b&c>!e&(!a&d|e)&b|(d&c)&(b&!c|!d&e)&f|(e>f)