一部の WolframAlpha ロジックの解釈に問題があります。私はこの論理式を持っています: !(a || b || c) WA は、それが最小の NOR 形式であると言い、それは a NOR b NOR c です。
しかし、入力すると、真理値表が異なります。ただし、これ (!a または b) または c を検索すると、正しい答えが得られます。
これはWolframAlphaのバグですか、それとも結果を誤解しているだけですか?
リンクは次のとおりです。
!(a || b || c) http://www.wolframalpha.com/input/?i=!%28a+||+b+||+c%29
a NOR b NOR c http://www.wolframalpha.com/input/?i=a+nor+b+nor+c
ありがとう！
NOR を二項演算子と見なすと、式をorのように扱う必要がありa NOR b NOR cます。いずれにせよ、それは と同じではありません。これは、実際に、WA について質問したときに、WA が式をどのように扱うかということです。(a NOR b) NOR ca NOR (b NOR c)!(a || b || c)a NOR b NOR c
ただし、NOR を任意の数の引数を取る「可変」アリティ演算子と見なすとします。したがって、NOR 関数は、すべての引数が falsea NOR b NOR cのNOR(a, b, c)場合にのみ true を返します。その後a NOR b NOR cは と同じ!(a || b || c)です。と聞くと、WAさんはそう思っているようです!(a || b || c)。
a NOR b NOR cこれら2つのケースで異なる定義を使用するのは、Wolfram Alphaのバグのようです。