Logic 解决一个条款。解析A和B产量_Logic_Artificial Intelligence_Proof_Clause

Logic 解决一个条款。解析A和B产量

logic artificial-intelligence

Logic 解决一个条款。解析A和B产量,logic,artificial-intelligence,proof,clause,Logic,Artificial Intelligence,Proof,Clause,我想知道为什么下面的决议比（A！D）和（A！B！C！D）更能产生true和none：解析（abc）&（！B！C！D）生成true 解析（abc）&（bc！D）不会产生任何结果。基本布尔逻辑：请参考您的注释我做了，但我仍然不明白，所以这就是我在论坛上发布的原因。Nvm我明白了

我想知道为什么下面的决议比（A！D）和（A！B！C！D）更能产生true和none：

解析（abc）&（！B！C！D）生成true

解析（abc）&（bc！D）不会产生任何结果。

基本布尔逻辑：请参考您的注释我做了，但我仍然不明白，所以这就是我在论坛上发布的原因。Nvm我明白了