Question

离散数学的用等值演算法求命题公式┐(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