One kind is provided ", but reasoning " inconsistent knowledge pedestal. This method not only provides the answer of boolean's problem, but also additional and directiveness information. This method first looks for the contradiction between this interpreting statements of bridge and answers and inconsistent knowledge pedestal. This method selects but sentence, this leads to contradiction and answer, and constructs and verifying but answer and response, but and the optional bridge statement.
展开▼