1 package com.example.furt.myapplication;
3 public class RuleImplElimination implements EliminationRule
6 public String getName()
11 RuleImplElimination(FormulaImpl F)
16 public Node createNodes(Formula F,askFormula ask)
21 if (!(C.toString().equals(Fn.rightF.toString())))
25 if (!(F.toString().equals(Fn.rightF.toString())))
27 Node elNode=new Node(Fn);
28 Node lNode=new Node(Fn.leftF);
29 Node bNode=new Node(Fn.rightF);
30 bNode.addChild(elNode);
31 bNode.addChild(lNode);
32 bNode.ruleName=ruleName;