求(p∧q)∨r的主析取范式,再用主析取范式求主合取范式
时间: 2023-12-07 16:16:51 浏览: 114
计算主合取范式,主析取范式
(p∧q)∨r的主析取范式为:
(p∧q∨r)∨(¬p∧q∨r)∨(¬q∧r)
主析取范式求主合取范式的步骤如下:
1. 对主析取范式中的每个子句进行分配律展开。
(p∧q∨r)∨(¬p∧q∨r)∨(¬q∧r)
= (p∨(¬p∧q)∨(¬q∧r))∧(q∨(¬p∧q)∨(¬q∧r))∧(r∨(¬p∧q)∨(¬q∧r))
2. 对每个子句中的合取项进行合取化简。
(p∨(¬p∧q)∨(¬q∧r))∧(q∨(¬p∧q)∨(¬q∧r))∧(r∨(¬p∧q)∨(¬q∧r))
= (p∨q∨r)∧(p∨¬q∨r)∧(¬p∨q∨r)∧(¬p∨¬q∨r)
因此,(p∧q)∨r的主合取范式为 (p∨q∨r)∧(p∨¬q∨r)∧(¬p∨q∨r)∧(¬p∨¬q∨r) 。
阅读全文