离散数学 题目如图 我求出来是m1∨m2∨m3∨m4∨m5∨m6∨m7 不知道对不对，另外我想知道

Question

离散数学
题目如图
我求出来是m1∨m2∨m3∨m4∨m5∨m6∨m7
不知道对不对，另外我想知道它的主合取范式又是什么，谢谢~

Answer 1

解出来是对的。

p    q    r    (p∨q)∨(¬p∧r)    

1    1    1    1    

1    1    0    1    

1    0    1    1    

1    0    0    1    

0    1    1    1    

0    1    0    1    

0    0    1    1    

0    0    0    0    

检查为真的赋值，得到主析取范式：

(p∧q∧r)∨(p∧q∧¬r)∨(p∧¬q∧r)∨(p∧¬q∧¬r)∨(¬p∧q∧r)∨(¬p∧q∧¬r)∨(¬p∧¬q∧r)

检查为假的赋值，变元取反，得到主合取范式：

(p∨q∨r)

追问

谢谢啦~