Question

先求出下面命题公式的标准析取范式,再根据标准析取范式求标准合取范式（p∧q）∨非r.

Answer 1

1、（p∧q）∨非r.

2、（（p∧q）∧（r∨非r)） ∨（非r∧（p∨非p）∧（q∨非q））.

3、（（p∧q∧r）∨（p∧q∧非r））∨（（非r∧p∧q）∨（非r∧p∧非q）∨（非r∧非p∧q）∨（非r∧非p∧非q））.

4（非p∧非q∧非r）∨（非p∧q∧非r）∨（p∧非q∧非r）∨（p∧q∧非r）∨（p∧q∧r）

5 m0∨m2∨m4∨m6∨m7

求标准合取范式

M1∧M3∧M5