SMS versenden: A New Approach to Simplifying Boolean Functions