全功能联结词集.pdf

1.6 全功能联结词集 ∨ 定义1-6.1 设P和Q是两个命题，复合命题P Q称作P和Q的 ∨ 不可兼析取，也叫异或。定义为：P Q为T当且仅当P 和Q的真值不相同时。联结词“ ”称为异或联结词。 ∨ 表1-6.1 联结词“ ∨”的真值表如表 P Q P Q ∨ 1-6.1所示。 0 0 0 “∨ ”也可以看成逻辑运 0 1 1 算，它是二元逻辑运算。它在程 1 0 1 序设中有广泛的引用。 1 1 0 不可兼析取 不可兼析取有下列的性质： ∨ ∨ ⑴ P Q⇔Q P (交换律) ⑵ (P Q) R⇔P (Q R) (结合律) ∨ ∨ ∨ ∨ ∨ ∨ ⑶ P∧(Q R)⇔(P∧Q) (P∧R) (合取对异或的分配律) ⑷ P Q⇔(P∧¬Q)∨(¬P∧Q) ∨ ⑸ P Q⇔¬(P↔Q) ∨ ∨ ∨ ∨ ⑹ P P⇔0，0 P⇔P，1 P⇔¬P 定理1-6.1 设P，Q，R为命题公式，如果P Q⇔R，则P R ∨ ∨ ∨ ∨ ∨ ⇔Q，Q R⇔P，P Q R为一矛盾式。 (书中有证明) 与非联结词 定义1-6.2 设p和q是两个命题，复合命题p↑q称作p和q的与非。定义 为：当且仅当p和q真值都是真时，p↑q才为假。联结词“↑”称 为与非联结词。 联结词“↑”的真值表如表1-6.2所示。“↑”也可以看成逻辑运 算，它是二元逻辑运算。 由定义可以看出下式成立：p↑q⇔¬(p∧q) 表1-6.2 联结词“↑”还有以下几个性质： p q p↑q ⑴ p↑p⇔¬(p∧p)⇔ ¬p 0 0 1 ⑵ (p↑q)↑(p↑q)⇔ ¬(p↑q) 0 1 1 ⇔ ¬¬(p∧q)⇔p∧q ⑶ (p↑p)↑(q↑q)⇔(¬p)↑(¬q)