From c58c3b0701c8ffd71a7d4e0d8b04f6a44473d167 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Miko=C5=82aj=20Lema=C5=84ski?= <69146893+lemcoder@users.noreply.github.com> Date: Thu, 14 Nov 2024 22:59:07 +0100 Subject: [PATCH] Update README.md --- README.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/README.md b/README.md index 5dc6bf1..4d1ba7d 100644 --- a/README.md +++ b/README.md @@ -10,6 +10,16 @@ To run download the program from releases page and run with: ``` logik.exe "" ``` +Allowed symbols are: +``` +'!' Negation +'&&' Conjunction +'||' Disjunction +'->' Implication +'<->' Bi-conditional +'(' ')' Parentheses +p,q... Variables +``` ## License