题目

合取范式问题
定义 一个命题公式称为合取范式仅当具有形式 :
A1∧A2.An （n≥1）
其中An 都是由命题变元或其否定组成的析取式.
例如 (P∨┐Q∨R)∧（┐p∨Q）∧┐Q
是一个合取式.
想问下,定义不是说 “An为由变元或其否定组成的析取式” 那为什么
┐Q 却单独存在?

提问时间：2020-10-16

答案

一个个命题公式称为合取范式仅当具有形式 :
A1∧A2.An （n≥1）
其中An 都是由命题变元或其否定组成的析取式.
这里A1,A2,..,An称为析取项(或简单析取式),n可取1,n=1时,Ak化为单个变元或单个变元否定,也即单个变元或单个变元否定均可看成析取项(简单析取式),同理单个变元或单个变元否定也均可看成合取项(简单合取式).
如 P∧(P∨┐Q∨R)∧（┐p∨Q),P∧Q∧(P∨┐Q)均是合取范式.
P∨(P∧┐Q∧R)∨（┐p∧Q),P∨Q∨(P∧┐Q)均是析取范式.