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

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

¬(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
温馨提示:答案为网友推荐,仅供参考