Darstellung von Zahlen Aussagenlogik Abzählverfahren