问答题
用主析取范式或主合取范式法证明：（pVq）→r
问答题 将下列公式化成与之等值且仅含{，∧，∨}中联结词的公式： （p→（q（q∧r）））。
问答题 已知公式A含n个命题变项p1，p2，...，pn，并且无成假赋值，求A的主合取范式。
问答题 计算T（n）
