P52 - 合取范式

Conjunctive normal form

官方模块: Problems.P52 核心函数: toConjunctiveNormalForm

← P51 纠错码 | P53 归结原理 →

← P51 纠错码 | P53 归结原理 →

题目描述

将命题逻辑公式转换为合取范式（CNF）。

函数签名

思路

实现

测试

1-- >>> 

参考

• 官方文档

← P51 纠错码 | P53 归结原理 →