求命题公式(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))∨(p∧q∧r)
(﹁p∧(﹁q∨﹁r))∨(p∧q∧r) (﹁p∧﹁q)∨(﹁p∧﹁r)∨(p∧q∧r)
((﹁p∧﹁q)∧(r∨﹁r))∨((﹁p∧﹁r)∧(q∨﹁q))∨(p∧q∧r)
(﹁p∧﹁q∧r)∨(﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(﹁p∧﹁q∧﹁r)∨(p∧q∧r)
自己写真值表也很容易得出结果~他的主合取式怎么求啊？好麻烦啊，怎么析取式完了还要合取式啊 ~~o(>__