离散数学 (p ∨(q ∧r ))→(p ∧q ∧r)的主析取范式

显示全部楼层 · 2019-7-19 17:26:06

先补项，然后使用分配率：(p∧q)∨r?(p∧q∧(?r∨r))∨((?p∨p)∧(?q∨q)∧r) 补项。?((p∧q∧?r)∨(p∧q∧r))∨((?p∨p)∧(?q∨q)∧r) 分配律。?(p∧q∧?r)∨(p∧q∧r)∨((?p∨p)∧(?q∨q)∧r) 结合律。?(p∧q∧?r)∨(p∧q∧r)∨((?p∧(?q∨q)∧r)∨(p∧...

千问 · 2019-7-19 17:26:06

通过等值运算　　(p∨(q∧r))→(p∧q∧r) ┐(p∨(q ∧r))∨(p∧q∧r) (┐p∧(┐q∨┐r))∨(p∧q∧r) (┐p∧┐q)∨(┐p∧┐r)∨(p∧q∧r) (┐p∧┐q∧r)∨(┐p∧┐q∧┐r)∨(┐p∧q∧┐r)∨(┐p∧┐q∧┐r)∨(p∧q∧r)...