boolean-logic

2熱

2答えて

ブール変数a_1、a_2、..、a_nを持っていれば、真に設定されているブール変数の数が、多項式のサイズブール式を使用して、いくつかのkよりも大きいという事実をどのように表現できますか？（指数関数は簡単です - ニュートン（n、k）式を書くだけです）。

1熱

1答えて

SAT前処理用のハッシュ関数

節データベースで構成されるSATインスタンスの前処理中に、すべての変数に単語を割り当てる必要があります。ハッシュ関数は、各変数について、16の最上位ビット（MSB）のうちの1つのビットと、16の最下位ビット（LSB）のうちの1つのビットを除いて、0からなる32ビットワードのみを返します。変数。節の署名は、すべての変数のハッシュ関数値のビットごとの論理和です。このハッシュ関数を実装するにはどうすれ

2熱

1答えて

いくつかの既知の用語の組み合わせによるブール単純化

私はブール値簡素化を行っています。これはよく働くQuine-McCluskeyです。しかし、ここではいくつかの既知の用語の組み合わせで簡略化を実行する必要があります。例えば、私は簡素化したい： (A+B)C 私がいることを知っている場合： C それとも私が知っているかのよう： A+B == true が、これはのように簡単に BC == false それは、既知の用語のリストを与えられた論理式

0熱

1答えて

3SATに入れられないブール代数式はありますか？

これはかなりわかりやすいようですが、私は特別なケースを残しているかもしれません。私が見ているように、1SAT（句ごとに1つのリテラルのみ）と2SATは、簡単に3SATに変換できます。 3つ以上のリテラルを持つany句は、3SATに変換できることが証明されています。質問には次のように質問してください。ブール代数はすべてSATに入れられますか？またはこれらの演算子でboolean代数を定義でき

0熱

2答えて

アセンブリで使用されるブール論理に関するチュートリアル

アセンブリ言語で可能なブール論理演算の複雑さをすべて説明するチュートリアルがあります。 mov [ebp-8h], 31982853h mov eax, [ebp+Ch] shl eax, 8 mov ecx, [ebp+Ch] shr ecx, 8 or eax, ecx は私は何がSHL、SHR理解し、または指示を行うが、その結合された結果については考えている：例えば

0熱

2答えて

ブール値の真偽関数に対して文字列を評価する

私は検索したが、ここでも手がかりがないので、私にご負担ください。私はそれぞれ特定のフィーチャマトリックスに対応する文字列を持っています。例： 'a' = [-vegetable, +fruit, +apple, -orange] 'o' = [-vegetable, +fruit, -apple, +orange] 't' = [+vegetable, -fruit, -apple, -or

8熱

2答えて

MySQLビューはANDでさらに多くの結果を返しますか？

私はこれを行うと： select * from vw_active_employees where division IS NULL; --319 results は理にかなっています。そして、私はこれを行う... select * from vw_active_employees where division IS NULL AND udds IS NULL; -- over 1000 re

8熱

6答えて

指定されたリストの1つのブール値が真であることを確認してください。

私は必ず正確に一つが真であることを確認するために書くことができますどのようなコードを以下のブール const YESTERDAY = false; const TODAY = true; const TOMORROW = false; を持っている場合は？私はこれを試してみた： $x = self::YESTERDAY^self::TODAY^self::TOMORROW; 問題は、

2熱

1答えて

データバインディングを評価する際に論理演算子のノックアウトが最適化されますか？

例えば、私が持っている場合：viewModel.property1()がtrueある場合 <div data-bind="visible: viewModel.property1() || viewModel.property2()" /> ...、ノックアウトはまだ viewModel.property2()を評価していますか？同様に、我々が持っている場合：viewModel.prope

-1熱

1答えて

XSLT 1.0ブール条件が適切に

私はXMLシートからのさまざまな要素をレンダリングするために、いくつかのXSLTを使用しますが、そのプロパティの値のいずれかが真の <xsl:variable name="showInIndex" select="true()"/> <xsl:variable name="BoolFromSheet" select="@showInIndex"/> <xsl:when test="strin