含意 (→) を AND/OR/NOT で表現

「会員ならばチケットが必要」のような決まりごとは、数学では A → B と書きます。プログラミング言語にこの記号はありませんが、NOT と OR だけで同じものが書けます。