问答题
结合律:(p∨q)∨r<=>p∨(q∨r),(p∧q)∧r<=>p∧(q∧r)
问答题 将以下公式化成与之等值且仅含{¬,→}中联结词的公式。 (p∧q)r
填空题 设A是含n(n≥1)个命题变项的公式,若A为重言式,则A的主析取范式含()个极小项。
填空题 令F(x):x是人,G(x):x喜欢吃馒头。H(x):x喜欢吃米饭。命题“虽然有人不喜欢吃馒头,但也不是所有的人都喜欢吃米饭。”的符号化形式为()。