(┐p∨q)∧(┐p∨┐r) (┐p∨q∨r)∧(┐p∨q∨┐r)∧(┐p∨q∨┐r)∧(┐p∨┐

(┐p∨q)∧(┐p∨┐r) (┐p∨q∨r)∧(┐p∨q∨┐r)∧(┐p∨q∨┐r)∧(┐p∨┐

这是求的主合取范式，用了不止一个定律：

(¬p∨q)∧(¬p∨¬r)
⇔(¬p∨q∨(¬r∧r))∧(¬p∨(¬q∧q)∨¬r) 补项
⇔((¬p∨q∨¬r)∧(¬p∨q∨r))∧(¬p∨(¬q∧q)∨¬r) 分配律2
⇔(¬p∨q∨¬r)∧(¬p∨q∨r)∧(¬p∨(¬q∧q)∨¬r) 结合律
⇔(¬p∨q∨¬r)∧(¬p∨q∨r)∧((¬p∨¬q∨¬r)∧(¬p∨q∨¬r)) 分配律2
⇔(¬p∨q∨¬r)∧(¬p∨q∨r)∧(¬p∨¬q∨¬r)∧(¬p∨q∨¬r) 结合律
⇔(¬p∨q∨r)∧(¬p∨¬q∨¬r)∧(¬p∨q∨¬r) 等幂律

得到主合取范式

。。。

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息