1 package com.example.furt.myapplication;
3 public class RuleNotElimination implements EliminationRule
7 RuleNotElimination(FormulaNot F)
12 public Node createNodes(Formula F,askFormula ask)
15 if ((C.toString().equals("⊥"))&&(F==null ||F==Fn.Operand)) //top-down con nodo attuale bottom o bottom-up con nodi attuali Fn e !Fn
17 Node elNode=new Node(Fn);
18 Node cNode=new Node(Fn.Operand);
19 Node rNode=new Node(C);
20 rNode.addChild(elNode);
21 rNode.addChild(cNode);
22 rNode.ruleName=ruleName;