【离散数学】(p∧q)∨(﹁pvr)算析取范式吗?如果不是,帮忙转成析取范式.
问题描述：
【离散数学】(p∧q)∨(﹁pvr)算析取范式吗?
如果不是,帮忙转成析取范式.
答
(p∧q)∨(￢p∧r) 算析取范式，但不是主析取范式。
答
不算
答
由有限个简单合取式的析取构成的命题公式成为析取范式。改公式将后面的小括号去掉就可以了
答
是析取范式，应该把第二个括号去了
答
不是析取范式.
(p∧q)∨(﹁pvr) (p∧q)∨﹁p∨r