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