问答题
已知公式A含n个命题变项p1，p2，...，pn，并且无成假赋值，求A的主合取范式。
问答题 计算T（n）
问答题 已知公式A含3个命题变项p，q，r，并且它的成假赋值为010，011，110，111，求A的主析取范式和主合取范式。
问答题 设算法Test最坏情况下对n枚硬币需要的称重次数的T（n），列出T（n）满足的递推方程和初值。
