Question

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