离散数学修订版本.docxVIP

6. 不可兼或(异或) 两个公式 P 、Q 的异或是复合命题， 记作“P Q” 读作“P 异或 Q”，“P 不可兼析取 Q”。 不可兼或就是两个命题不可能同时为真，当且仅当一个为真，一个为假时，为真。 例： (1)今天下雨或刮风。 (可兼或) (2)今天第一节课是语文课或数学课。 (不可兼或) (3)他现在在 301 室或 302 室。 (不可兼或) P Q 真值表 P P Q 0 1 1 0 Q 0 1 0 1 P 0 0 1 1 与或的区别： P 为 1 且 Q 为 1 时， P Q 为假。 性质： (1) P Q一 Q P 交换律 (2) (P Q) R一 P (Q R) 结合律 (3) P ^ (Q R) 一 (P^ Q) (P^ R) ^ 对 的分配律 (4) P Q一 (P^ Q) ( P^ Q) 一 (P Q) ^ ( P Q) (5) P Q一 (P一 Q) 三． 命题公式： 1 ． 命题公式 由命题标识符、逻辑联结词和圆括号按照一定的正确规则组成的合式，简称公式。 命题公式的规定： (1)单个命题变项是合式公式。 (2)如果 A 是合式公式，则 A 是合式公式。 (3)如果 A 、B 是合式公式，则 A B、 A^ B 、A B、A一B 、A B 也是合