--- /dev/null
+package com.example.furt.myapplication;
+
+public class RuleNotElimination implements EliminationRule
+{
+ String ruleName;
+ FormulaNot Fn;
+ RuleNotElimination(FormulaNot F)
+ {
+ Fn=F;
+ ruleName="¬e";
+ }
+ public Node createNodes(Formula F,askFormula ask)
+ {
+ Formula C=ask.Ask();
+ if ((C.toString().equals("⊥"))&&(F==null ||F==Fn.Operand)) //top-down con nodo attuale bottom o bottom-up con nodi attuali Fn e !Fn
+ {
+ Node elNode=new Node(Fn);
+ Node cNode=new Node(Fn.Operand);
+ Node rNode=new Node(C);
+ rNode.addChild(elNode);
+ rNode.addChild(cNode);
+ rNode.ruleName=ruleName;
+ return rNode;
+ }
+ else
+ return null;
+ }
+}
+