众所周知，任何命题逻辑公式都逻辑等价于一个合取范式（CNF-Conjunctive Normal Form）。合取范式即是子句的合取，而子句是文字(变元或其否定)的析取。
基于12个网页-相关网页
cnf conjunctive normal form 连接标准形式
cnf-conjunctive normal form
cnf合取范式
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动