Aussagenlogik in ruby