【离散数学】(p∧q)∨(﹁pvr)算析取范式吗?
问题描述:
【离散数学】(p∧q)∨(﹁pvr)算析取范式吗?
如果不是,帮忙转成析取范式.
答
不是析取范式.
(p∧q)∨(﹁pvr) (p∧q)∨﹁p∨r