单项选择题 我家的猫要么在阳台睡觉，要么在厨房吃肉。现在没在阳台找到它，那它肯定在厨房。请问这使用了什么推理定律？（）

单项选择题 根据蕴涵律，P®Q与下列哪个公式等价？（）

单项选择题 ﹁P∨Q∧R®S是以下哪个合式公式的简化形式？（）