离散数学括号内P析取Q析取R为什么不是合取范式
发布网友
发布时间：2022-04-26 22:19
共1个回答
热心网友
时间：2022-06-18 21:06
我们这里从定义出发。
简单析（合）取式：仅由有限个文字构成的析（合）取式
合取范式：由有限个简单析取式构成的合取式
析取范式：由有限个简单合取式构成的析取式
（PVQ）VR不是合取范式，因为“合取式”条件不满足。
PVQVR既是合取范式也可以是析取范式，因为PVQVR可看做一个整体析取式，而单独一个整体既是合取式也可以是析取式，所以PVQVR是合取范式；又P,Q,R分开来看既是合取式也可以是析取式，并且V为析取符号，该式为析取式，所以PVQVR是析取范式。
