Aussagenlogischer Interpreter

Bei Dir ist leider kein Java installiert :-(