[1离散数学左孝陵版第一章答案.pptVIP

例3 用真值表方法判断P?Q??P??Q是否成立. 解 令A=P?Q，B=?P??Q 构造A，B以及A?B的真值表 P Q ?P ?Q ?P??Q P?Q A?B 0 0 1 1 1 1 1 0 1 1 0 0 1 0 0 1 1 0 0 由于公式A?B所标记的列不全为1，A?B不是永真公式，因此A?B不成立。 1 0 1 1 0 0 1 1 1 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (1) 代入规则 代入规则 对于重言式中的任一命题变元出现的每一处均用同一命题公式代入，得到的仍是重言式。 2．等值演算方法 例如 F=（P?Q）?（?Q??P）是重言式，若 用公式A∧B代换命题变元P得公式 F1=（（A∧B）?Q）?（?Q??（A∧B））， F1仍是重言式。 注意：因为A ? B当且仅当A ? B是重言式。所以，若对于等值式中的任一命题变元出现的每一处均用同一命题公式代入，则得到的仍是等值式。 Evaluation only. Created wit