┓(P→Q)的主析取范式是什么,主合取范式是什么为什么这个也是析取范式?
问题描述:
┓(P→Q)的主析取范式是什么,主合取范式是什么
为什么这个也是析取范式?
答
(P->Q)
P|Q)
=P & Q 主合取范式,也是主析取范式.
为非运算,| 为析取,& 为合取.
P & Q 是主析取范式,是因为它刚好是合取小项.
主析取范式就是合取小项间的析取.
如 (P & Q) | P & Q)
同理
P | Q 主析取范式,也是主合取范式.
建议好好领会各概念.