2021年命题公式主析范式的自动生成系统-求命题公式p→q的主析取范式

命题公式主析范式的自动生成系统|求命题公式p→q的主析取范式 　　 　　摘要： 现在人工智能的发展已经很快速，而且会越来越普及到我们的生活中。人工智能的发展离不开数理逻辑，命题逻辑是数理逻辑中主要部