Zaslať SMS: Elementare Aussagenlogik