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