离散数学 （p Vq）-＞(p ∧r )用等值演算法判断该公式的类型。求步骤。

离散数学 （p Vq）-＞(p ∧r )用等值演算法判断该公式的类型。求步骤。离散数学 （p Vq）-＞(p ∧r )用等值演算法判断该公式的类型。求步骤。

用等值演算法求该公式的主析取范式，然后判断公式类型。