1 package com.example.furt.myapplication;
3 public class RuleImplElimination implements EliminationRule
7 RuleImplElimination(FormulaImpl F)
12 public Node createNodes(Formula F,askFormula ask)
17 if (!(C.toString().equals(Fn.rightF.toString())))
21 if (!(F.toString().equals(Fn.rightF.toString())))
23 Node elNode=new Node(Fn);
24 Node lNode=new Node(Fn.leftF);
25 Node bNode=new Node(Fn.rightF);
26 bNode.addChild(elNode);
27 bNode.addChild(lNode);
28 bNode.ruleName=ruleName;