求命题公式(p∨(q∧r))→(p∧q∧r)的主合取范式
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/12 01:51:02
![求命题公式(p∨(q∧r))→(p∧q∧r)的主合取范式](/uploads/image/z/5461519-31-9.jpg?t=%E6%B1%82%E5%91%BD%E9%A2%98%E5%85%AC%E5%BC%8F%28p%E2%88%A8%28q%E2%88%A7r%29%29%E2%86%92%28p%E2%88%A7q%E2%88%A7r%29%E7%9A%84%E4%B8%BB%E5%90%88%E5%8F%96%E8%8C%83%E5%BC%8F)
xJ@_d!oл'5R%Emn˄̦=ɇMVE/;;kئ/~
=3'jŝ"wU-!^"l
hiGTKVLl(weVd:N
Nhdw6/$J+sm|B*8A0\,.\/`o_I(Wp{H..fL8G)s=oy7^ oEEEUyBV/_QW?
SG@\|>:5/і
求命题公式(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∨﹁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)
由主析取范式可以看出小项为:
m001,m000,m010,m111
剩下的就是:
m011,m100,m101,m110
转换成大项:
M011,M100,M101,M110
写成主合取范式:
(p∨﹁q∨﹁r)∧(﹁p∨q∨r)∧(﹁p∨q∨﹁r)∧(﹁p∨﹁q∨r)