function y=impliziert(a,b) y=or(not(a),b); end