Fixed help

lemcoder · Nov 14, 2024 · 413d2dc · 413d2dc
1 parent 498dab1
commit 413d2dc
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/nativeMain/kotlin/pl/lemanski/logik/Main.kt b/src/nativeMain/kotlin/pl/lemanski/logik/Main.kt
@@ -9,11 +9,11 @@ fun main(args: Array<String>) {
         println(
             """
             type in the logic expression. Allowed symbols are:
+            '!'     Negation
+            '&&'    Conjunction
+            '||'    Disjunction
             '->'    Implication
             '<->'   Bi-conditional
-            '||'    Disjunction
-            '&&'    Conjunction
-            '!'     Negation
             '(' ')' Parentheses
             p,q...  Variables
         """.trimIndent()