(1) 若A是永真式,则A*是永假式。 (2) 若A是永假式,则A*是永真式。相关知识点: 试题来源: 解析 证明(1) 设A是永真式,则A 1,由对偶定理得A* 0,因此A*是永假式。 (2) 设A是永假式,则A 0,由对偶定理得A* 1,因此A*是永真式。反馈 收藏 ...
证明(1) 设A是永真式,则A台1,由对偶定理得A* 0,因此A是永假式。(2) 设A是永假式,则,由对偶定理得A*= 1,因此A是永真式。 结果一 题目 设A是由生成的公式,与A互为对偶式。⑴若A是永真式,则是永假式。⑵若A是永假式,则是永真式。 答案 证明(1) 设A是永真式,则,由对偶定理得,因此是...
解 不对。若A是非永真的可满足式,则它的替换实例中既有永真式,也有永假式,也有非永真的可满足式。 设A中出现的命题变元是p1,…, pn,v1和v2分别是使得A为真的真值赋值和使得A为假的真值赋值。取公式B1,…, Bn, C1,…, Cn如下: 任取真值赋值v, , , 所以,A的替换实例是永真式,A的替换实例是永假...
A为一个命题公式,若A在各种赋值下取值均为真,则称A为___。A.矛盾式B.永真式C.可满足式D.永假式
设A,B为两命题公式,若A↔B是永真式,则称A与B是等价的。() 查看答案
百度试题 题目反演归结证明定理时,若当前归结式是()时,则定理得证。 A.永真式B.永假式C.蕴含式D.空子句相关知识点: 试题来源: 解析 D 反馈 收藏
设P和Q是两个谓词公式,D是它们共同的个体域,若对D上的任何一个解释,P和Q都有相同的真值,则称公式P和Q在D上是 ( )的。A.可满足B.永真C.永假D.等
百度试题 题目利用归结原理证明定理时,若当前归结式是( ),则定理得证。 A.永真式B.永假式C.空子句D.包孕式相关知识点: 试题来源: 解析 C 反馈 收藏
你命题有多少个变元 那就知道有多少个 极小项 极大项所以例如 你的是 永真式 那主析取范式 就是所有极小项析取 反之 不用说了吧还有定理:任何公式都有与之等价的主析取范式和主合取范式我小学没毕业 不知道说得对或者错 希望对你有用吧 解析看不懂?免费查看同类题视频解析查看解答 更多答案(3)...
百度试题 结果1 题目反演归结(消解)证明定理时,若当前归结式就是( )时,则定理得证。 A. 永真式 B. 永假式 C. 空子句 D. 蕴含式 相关知识点: 试题来源: 解析 C) 反馈 收藏