implement a tutorial-page for propositional logic

[RonjaKaehne]

The tutorial should include a introduction into the functionality or/and the possibilities using our tool. We can think about referencing theory about propositional logic.
Also the tutorial should give the user recommended input advices like using an explicit writing style.