离散数学程序逻辑推理
离散数学的代码,可用于实现真值表输出,输出主析取主合取范式,逻辑推理等。
下载地址
用户评论
写的还可以,就是不能直接运行