Gleichnungen zu Logischen Grundfunktionen hinzugefügt