Symbole für logische Grundfunktionen eingefügt (close #18)