問題タブ [boolean-expression]

式の無限のネストを許可しながら、データベースでブール式を編成する方法を知っていますか?

例：

データの整合性を維持するために、式全体を varchar として保存しないでください。

ブール値 (「true」、「false」など) を表す文字列を JavaScript の組み込み型に変換できますか?

リスト内のユーザーの選択に基づいて更新される HTML の非表示のフォームがあります。このフォームには、ブール値を表すいくつかのフィールドが含まれており、固有のブール値が動的に入力されます。ただし、この値が非表示の入力フィールドに配置されると、文字列になります。

フィールドが文字列に変換された後、フィールドのブール値を特定する唯一の方法は、その文字列表現のリテラル値に依存することでした。

これを達成するためのより良い方法はありますか？

ブール式をリファクタリングするツールを探しています。のような表現があります。

ツールは、式を単純化できる必要があります。たとえば、上記の例のサブ式「c または d」を抽出します。これを行うことができる無料のコンピューター代数システムはありますか?

現在、式を手動でリファクタリングして、小さな haskell クイックチェック スクリプトで同等性を証明することを考えています。

このことを考慮

私が使用したすべてのコンパイラで、これは非常に安全です。つまり、ブール式の最初の部分はfalseと評価され、2 番目の部分の評価は冗長であるため、 Method() の呼び出しは試行されません。

これは、ほとんどのコンパイラが 2 番目の部分の評価を最適化するためでしょうか、それとも C/C++ 標準から指示された動作でしょうか?

active が「ブール フィールド」(0 または 1 の小さな int) であると仮定します。

つまり、「NOT」演算子をブールフィールドに直接適用できますか?

最初の部分は、次の型シグネチャを持つ評価関数です。

これは、論理式と代入ペアのリストを入力として受け取り、指定されたブール代入に従って式の値を返します。割り当てリストは、各ペアに変数とそのブール代入が含まれる個別のペアのリストです。つまり、式 A ∧ B と代入 A = 1 および B = 0 を関数に渡す場合、関数は 0 を返す必要があります (これは Digital Logic Design によるもので、0 は false に対応し、1 は true に対応します)。

これは私がこれまでにできたことです：

次の部分は定義するgenerateTruthTableことです。これは、論理式を入力として取り、代入ペアのリストのリストの形式で式の真理値表を返す関数です。つまり、式 E = A ∧ B を関数に渡す場合、関数は A = 0、B = 0、E = 0 | を返す必要があります。A = 0、B = 1、E = 0 | A = 1、B = 0、E = 0 | A = 1、B = 1、E = 1。

構文に詳しくないので、リストを返す方法がわかりません。

3 つのブール値 A、B、C があります。これらの値のいずれかが True でない場合にのみ実行される IF ステートメントを記述する必要があります。つまり、真理値表は次のようになります。

これを書く最良の方法は何ですか？すべての可能性を列挙できることはわかっていますが、それは... 冗長すぎるようです。:P

追加:アイデアが 1 つだけありました:

!(A && B) && !(B && C) && !(A && C)

これにより、2 つの値が設定されていないことが確認されます。合計についての提案もOKです。さらに読みやすいかもしれません...

(A?1:0) + (B?1:0) + (C?1:0) <= 1

PS これは製品コード用なので、パフォーマンスよりもコードの読みやすさを重視しています。

追加 2:既に回答が受け入れられていますが、好奇心旺盛な人のために - それは C# です。:) ただし、質問はほとんど言語に依存しません。

ifステートメントに配置された場合にオブジェクトがfalseを返すようにする方法があるかどうか疑問に思っていました。その理由は、カスタム例外クラスを作成しているためです。私はの線に沿って何かをしたいです

これは恐ろしくばかげた例だと理解しています。ただし、重要なのは、このオブジェクトが立っているとき、if(seeDog())テストはtrue文字列「ハスキー」とDog_Exceptionオブジェクトの両方を評価するということです。可能であれば、条件が整っていれば、Dog_Exceptionと評価したいと思います。そうすれば、たとえば、などのような構成を使用する必要はありません。これが可能かどうかは疑問ですが、どんな助けでも素晴らしいでしょう。ありがとう！falseifif(typeof(seeDog()) == Dog_Exception)

前に質問しようとしたのですが、質問が間違っていたので、もう一度質問します。if ステートメントに入れたときに、オブジェクトがデフォルトで false を返すようにすることは可能ですか? 私が欲しいもの：

これが可能な方法はありますか？完全に必要というわけではありませんが、数行のコードを節約できます。ありがとう！

ルビーを学ぶ。ブール属性には次のような名前を付ける必要があるという印象を受けています。

ただし、次のことを実行しようとすると構文エラーが発生します。

どうやらルビーは「？」を嫌っています。これは慣習ですか？私は何が間違っているのですか？