Update README.md

lemcoder · Nov 14, 2024 · c58c3b0 · c58c3b0
1 parent 413d2dc
commit c58c3b0
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -10,6 +10,16 @@ To run download the program from releases page and run with:
 ```
 logik.exe "<your_logic_expression>" 
 ```
+Allowed symbols are:
+```
+'!'     Negation
+'&&'    Conjunction
+'||'    Disjunction
+'->'    Implication
+'<->'   Bi-conditional
+'(' ')' Parentheses
+p,q...  Variables
+```
 
 ## License