计算机 选择题 较难

真值表与命题等价式 — 计算机选择题

离散数学(大学通用) 命题逻辑 AI 三重审校通过

题目
设 F=(p↔q)∧(q→r)。依据真值表,以下哪一命题公式与 F 等价? A. (¬p∧¬q)∨(p∧q∧r) B. (¬p∧¬q)∨(p∧q) C. (¬p∧q)∨(p∧¬q∧r) D. (p∧q)∨(¬p∧¬q∧r)