计算机 选择题 较难

布尔代数及其性质 — 计算机选择题

离散数学(大学通用) 格与布尔代数 AI 三重审校通过

题目
在任意布尔代数中,设 ¬x 表示 x 的补元,∨、∧分别表示析取与合取。将 F=(x∨y)∧(¬x∨z)∧(y∨z) 化简,以下哪一项与 F 恒等? A. (x∧z)∨(¬x∧y) B. (x∧z)∨¬x C. (x∧z)∨¬y D. (x∧z)∨y