Mathematik- und Logikwerkzeug "Logik" – Registerkarte "Einstellungen"