(P->Q)
P|Q)
=P & Q 主合取范式,也是主析取范式.
为非运算,| 为析取,& 为合取.
P & Q 是主析取范式,是因为它刚好是合取小项.
主析取范式就是合取小项间的析取.
如 (P & Q) | P & Q)
同理
P | Q 主析取范式,也是主合取范式.
建议好好领会各概念.