问答题
将下列公式化成与之等值且仅含{ㄱ,∧,∨}中联结词的公式: ㄱ(p→(q(q∧r)))。
。
问答题 已知公式A含n个命题变项p1,p2,...,pn,并且无成假赋值,求A的主合取范式。
问答题 计算T(n)
问答题 已知公式A含3个命题变项p,q,r,并且它的成假赋值为010,011,110,111,求A的主析取范式和主合取范式。