diff --git a/src/nativeMain/kotlin/pl/lemanski/logik/Main.kt b/src/nativeMain/kotlin/pl/lemanski/logik/Main.kt index fd17a22..f77251c 100644 --- 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) { println( """ type in the logic expression. Allowed symbols are: + '!' Negation + '&&' Conjunction + '||' Disjunction '->' Implication '<->' Bi-conditional - '||' Disjunction - '&&' Conjunction - '!' Negation '(' ')' Parentheses p,q... Variables """.trimIndent()