lukasiewicz notation: nicht gefunden