問題タブ [boolean-logic]

これが「論理演算子101」のような質問である場合は申し訳ありません。画面を15分間見つめ、頭を包み込もうとしていますが、行き詰まっています。

以下を表現するためのより簡潔でエレガントな方法はありますか（これはJavaScript構文ですが、言語に依存する質問ではありません）：

いくつかの実験に基づくと、これは論理的に同等ではないようです。

さらに、このような質問についてさらに研究するために、誰かがオンラインリソースを推奨できますか？この種のことはコンピュータサイエンスのカリキュラムで抽象的なレベルでカバーされていると思います。それは私のプログラミング知識の本質的なギャップであり、私が本当に埋めたいと思っています。ありがとう！

これは機能します...

- これらは...

このotherObjテストは、otherObj がそうであるかどうかを評価するだけnilです。指定された変数は、前の行で取得されます。アプリケーションの実行時に表示されるエラーは次のとおりです。

unprotected error to call in Lua API(script path...: Did not pass boolean to SetNoClip).

SetNoClip はアプリケーション内の関数で、 経由で lua スタックにプッシュされた引数を取得しますlua_toboolean。

では、なぜ最初は機能し、2 番目と 3 番目はエラーを返すのでしょうか?

編集：

SetNoClipにはこの定義がありました。

問題は、lua_isboolean暗黙的な型変換を行わず (ただしlua_toboolean行います)、リテラルのブール値に対してのみ true を返すことです。したがって、nil が表示されると、ブール値が渡されなかったことを返します。ブール値リテラルのエラー チェックを削除したのは、(私を含む) 人々は通常、ブール値リテラルではない引数がブール値として正しく扱われることに依存しているためです。

特定のテキストを含む要素がページに存在する場合にのみ、Qtip プラグインを要素に接続しようとしています。何らかの理由で、「AddTooltips() は関数ではありません」というスクリプト エラーが発生し続けます。要素が存在しないページ。if ステートメントがうまく動作しません。

2 つの異なるブール式が同じかどうかを判断する必要があります。例えば：

S1 = a ∨ b
S2 = (a ∧ ¬b) ∨ b;

これら2つは実際には同じです。したがって、それらが同じかどうかを検出する必要があります。私はC＃を使用しています。

提供された関数がそれらすべてに対して true を返した場合に true を返す、配列を与えることができる関数はありますか?

私は論理積演算子と少し混同しています。これらの2行のコードがあります。ここnumとjは両方ともintです。両方の条件が満たされている状況がありますが、の値が出力されない理由がわかりませんj。誰かが間違いを指摘できますか？前もって感謝します。

次のブール式は PHP でどのように記述しますか。

また

また

ここでは、C# の専門家にとっては簡単な質問です。

基本的に、いずれかの値が TRUE であるかどうかを確認したいのですが、コードでのワイルド スタブは以下のとおりです。

これは正しいです？

ありがとう

カスタマイズされた集合被覆問題からsatに変換しているので、問題にsatソルバーを使用できる可能性があります。

私の問題は次のとおりです。sat問題の用語で相互作用する変数のセットがいくつかあります。の線に沿った何かx_i v x_j v x_k; y_i v y_j v y_k。

しかし、私が正しく理解できないように見えるのは、変数の両方のセットが組み合わせとして同じ占有率を持ってはならないということです。たとえば、X_iと等しくすることができますx_jが、セット全体を均等に占有してはなりません。

充足可能性ソルバーで使用できるように、それをどのように表現しますか？

次のロジックをよりシンプルで読みやすい方法で記述できますか？以下は私が必要とすることをします、しかしそれは非常に厄介です：

ありがとう