Enter your conditional belief base
Syntax: conjunction "a,b" • disjunction "a;b" • negation "!a" • brackets "((a;b),a)" • tautology: "Top" • contradiction: "Bottom"
Enter the query you want answered
Select the inference methods you want to be used to answer you query
| Inference method | Result | |
|---|---|---|
|
|
Yes | No |
|
|
Yes | No |
|
|
Yes | No |
|
|
Yes | No |