From 5cfade4bbad26f282af23906399a356c5716764b Mon Sep 17 00:00:00 2001
From: Xawirses <xawirses@gmail.com>
Date: Mon, 10 Apr 2017 15:01:25 +0200
Subject: [PATCH] Update README

---
 README.md     | 24 ++++++++++++++++++++++++
 src/Main.java |  4 ++--
 2 files changed, 26 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 185b3c3..deb17a5 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,26 @@
 # DTALMP
 Démonstrateur à tableau analytiques pour les logiques modales propositionnelles
+
+## Exécution
+```
+Entrer Expression Infixe : 
+L(a|b)>(La|Lb)
+```
+```
+W1 : !>L|ab|LaLb
+W1 : L|ab
+W1 : !|LaLb
+W1 : !La
+W1 : !Lb
+W1 -> W2
+W2 : !a
+W2 : |ab
+W1 -> W3
+W3 : !b
+W3 : |ab
+W2 : a
+W2 : b
+W3 : a
+SAT
+
+```
\ No newline at end of file
diff --git a/src/Main.java b/src/Main.java
index 6b19d11..67e8d60 100644
--- a/src/Main.java
+++ b/src/Main.java
@@ -9,11 +9,11 @@ public class Main {
     public static void main(String[] args) {
         Expression e = new Expression();
         e.negExpressionPrefixe();
-        System.out.println(e.getExpressionPrefixe());
+        //System.out.println(e.getExpressionPrefixe());
         System.out.println();
 
         Tree treeExpression = new Tree(e.getExpressionPrefixe());
-        treeExpression.display();
+        //treeExpression.display();
 
         Handling handling = new Handling(treeExpression.getRoot());
     }