Question

离散数学简答

离散数学简答10.求((AvB)→C)→A
的主析取范式和主合取范式。
13.求(P V Q) →(P ↔︎Q)的主析取范式和主合取范式。
求(QvP)∧(R→P)的主析取范式和主合取范式。

Answer 1

((p∨q)→r)→p
⇔¬((p∨q)→r)∨p 变成 交并
⇔¬(¬(p∨q)∨r)∨p 变成 交并
⇔((p∨q)∧¬r)∨p 德摩根定律
⇔((p∨q)∨p)∧(¬r∨p)
⇔(p∨q)∧(¬r∨p)
⇔(p∨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)
这是主合取范式