diff --git a/README.md b/README.md
index b239a820..1362c60a 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,13 @@
-# SCL-machine
-Inference module for [OSTIS project](https://github.com/ostis-ai/ostis-project)
+# scl-machine
+**_scl-machine_** is a logical formulas interpreter (inference machine) based on the [OSTIS Technology](https://github.com/ostis-project).
+
+**_scl-machine_** process logical formulas like as implications, conjunctions, disjunctions, equivalences and any combinations of them.
+
+You can learn more about scl-machine in the documentation.
+
+The simple example of a logical formula: _If Socrates is a human than Socrates is mortal._
+
+![scl_machine_intro.png](docs/images/scl_machine_intro.png)
 
 # Installation
 ```sh
diff --git a/docs/images/scl_machine_intro.png b/docs/images/scl_machine_intro.png
new file mode 100644
index 00000000..d1821b24
Binary files /dev/null and b/docs/images/scl_machine_intro.png differ