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