P53 - 归结原理

Resolution rule

官方模块: Problems.P53 核心函数: isTheorem

← P52 合取范式 | P54 二叉树定义 →

← P52 合取范式 | P54 二叉树定义 →

题目描述

用归结原理判断一组公式能否推出一个结论。

函数签名

思路

实现

测试

1-- >>> 

参考

• 官方文档

← P52 合取范式 | P54 二叉树定义 →