如何通过消解反演求取问题的答案
来源：动视网
责编：小OO
时间：2024-09-03 20:30:58
如何通过消解反演求取问题的答案
1、首先把由目标公式的否定产生的每个子句添加到目标公式否定之否定的子句中去。2、然后按照反演树，执行和以前相同的消解，直至在根部得到某个子句为止。3、最后用根部的子句作为一个回答语句。
导读1、首先把由目标公式的否定产生的每个子句添加到目标公式否定之否定的子句中去。2、然后按照反演树，执行和以前相同的消解，直至在根部得到某个子句为止。3、最后用根部的子句作为一个回答语句。
通过消解反演求取问题答案的具体操作如下：
1、首先把由目标公式的否定产生的每个子句添加到目标公式否定之否定的子句中去。
2、然后按照反演树，执行和以前相同的消解，直至在根部得到某个子句为止。
3、最后用根部的子句作为一个回答语句。
如何通过消解反演求取问题的答案
1、首先把由目标公式的否定产生的每个子句添加到目标公式否定之否定的子句中去。2、然后按照反演树，执行和以前相同的消解，直至在根部得到某个子句为止。3、最后用根部的子句作为一个回答语句。
