hotfix

program.py

@@ -218,15 +218,30 @@ if len(sys.argv) > 1 :
             g = open(sys.argv[sys.argv.index('-f')+1], 'r')
             u = g.readlines()
             for l in u:
-                print(Formula(l.replace("\n",'').replace("\r",''),i).isValid())
+                print(Formula(l.replace("\n",'').replace("\r",'').replace(' ',''),i).isValid())
         else:
             o = sys.argv[1] if sys.argv[1] != '-g' else sys.argv[2]
             if len(o)>0:
-                print(Formula(o,i).isValid())
+                print(Formula(o.replace(' ',''),i).isValid())
     
 else:
     print_help()
     print("Tryb interaktywny:")
+    print("""
+    Program spawdza poprawność formuł logicznych,
+znaki [a-z] są uznawane za zmienne logiczne
+znaki języka rachunku zdań:
+! - negacja
+- implikacja
+
+| - alternatywa
+& - komiunkcja
+= - równoważność
+wyjście programu:
+True - zdanie logiczne jest poprawne w rozumieniu KRZ
+False - zdanie logiczne nie jest poprawne w rozumienu KRZ
+    
+    """)
     print("Wprowadź formułę lub wpisz \n\n 1. Regex \n 2. Regular \n \n aby zmienić rodzaj używanego walidatora. Domyślnym jest Regular.\n Wpisz exit żeby wyjść")
     i = ProperInterpreter()
   
@@ -246,7 +261,7 @@ else:
             break
         else:
 
-            print(Formula(x,i).isValid())
+            print(Formula(x.replace(" ",''),i).isValid())