计算题

用主析取范式或主合取范式法证明：（pVq）→r

将下列公式化成与之等值且仅含{，∧，∨}中联结词的公式： （p→（q（q∧r）））。

问答题

将下列公式化成与之等值且仅含{ㄱ，∧，∨}中联结词的公式：
ㄱ（p→（q（q∧r）））。

已知公式A含n个命题变项p1，p2，...，pn，并且无成假赋值，求A的主合取范式。

问答题已知公式A含n个命题变项p₁，p₂，...，p_n，并且无成假赋值，求A的主合取范式。

计算T（n）

问答题计算T（n）