课件离散数学大工-第一章 命题逻辑-2nd.pdfVIP

离散数学 第一章 命题逻辑 回顾 • 原子命题 • 复合命题 – 逻辑否定Negation – 逻辑合取Conjunction – 析取Disjunction – 单条件Conditional – 双条件Double conditional – 异或Exclusive or Xor – 联接词 • 真值表  ▽ P Q ¬P P∧Q P∨Q P→Q P Q P Q ▽ 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 1 1 1