离散数学2.2-主析取/主合取范式

一、基础定义 1. 文字 单个命题变元，或单个变元带一个否定号。 是文字：p、¬q、r 不是文字：p ∧ q、¬(p ∨ q) 2. 简单合取式 若干个文字用 ∧ 连起来，内部只有 ∧。 例：p ∧ ¬q、¬p、p ∧ q ∧ r 若里面出现 A ∧ ¬A，整个式子恒等于 0。 3. 简单析取式 若干个文字用 ∨ 连起来，内部只有 ∨。 例：p ∨ ¬r、q、¬p ∨ q ∨ r