![]() ![]() 从图2.3.1看B的真值F, 如何依赖于P、Q的真值。在图中的第三、第四行,B值为F。即B取F有两种可能的情形, 或第一种情形, 或第二种情形。从而有 B = (…)1∧(…)2 进而分析每种使B为假的情形。第一种情形是P = T Q = F出现, 也即 ![]() ![]() ![]() ![]() B = ( ![]() ![]() ![]() 同样可得 A = ( ![]() 要注意的是这两种列写公式的区别, 首先是区分从T还是从F来列写, 分别得到 (·∧·)∨(·∧·)∨(·∧·) 形和 (·∨·)∧(·∨·)∧(·∨·) 形的不同结构。再者, 在填写文字P、Q时, 何时加否定也是有区别的。 再有当列写公式C时, 因图2.3.1中对解释{P、Q} = {T, T}时, C取何值可任意, 或说C与{P, Q} = {T, T}无关, 这时可适当选取C的真值, 以使C的表达式简单。 |