Question

12.合式公式pv(qa-r)的主析取范式中含极小项的个数为()。

离散数学的用等值演算法求命题公式┐(P∨Q)→R的主析范式（用极小项表示）,并求该公式的所有成真赋值?
离散数学的一道题,用等值演算法求命题公式┐(P∨Q)→R的主析范式（用极小项表示）,并求该公式的所有成真赋值?

Answer 1

¬(P∨Q)→R⇔¬(¬(PVQ))∨R⇔(PVQ)VR⇔PVQVR
使该式为真,则P,Q,R中至少有一项为真即可,因此所有成真赋值列举如下
P Q R
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1