Help
Exercises
| Conjunction: | . |
| Disjunction: | + |
| Implication: | > |
| Equivalence: | = |
| Negation: | ~ |
1. Enter line(s).
2. Click the [Submit] button.
3. Click the [Rules] tab and select a rule.
Inference Area
premise 1:
premise 2:
conclusion: