标签： logic artificial-intelligence proof clause
我想知道为什么以下的决议产生真实而没有而不是（A！D）和（A B C！D）：
解决（A B C）＆amp; （！B！C！D）产生真实 解决（A B C）＆amp; （B C！D）没有产生。