merge

Author: karu

src/main/java/org/epistemic/Reasoner.java

@@ -77,7 +77,7 @@ public boolean WorldReasoner(RelationalFormula formula, EpistemicModel model, Wo
                         };
                     } else if (currentFormula.getClass() == imp.getClass()) {
                         imp = (Implication) currentFormula;
-                        if (!world.containsTrueFormula(imp.getFormulas().getFirst()) || world.containsTrueFormula(imp.getFormulas().getSecond())){
+                        if (!(world.containsTrueFormula(imp.getFormulas().getFirst()) && !world.containsTrueFormula(imp.getFormulas().getSecond()))){
                             world.addTrueFormula(currentFormula);
                         };
                     } else if (currentFormula.getClass() == eq.getClass()) {