Aussagenlogik/Whois