問題タブ [boolean-logic]

私はx86アセンブリ命令用の一種のシミュレーターを持っていますが、問題は完全な命令セットを受け入れないということです。たとえば、INTコマンドを指定すると、終了します。シミュレーターでコマンドのすべてのバイナリ表現（8ビット、16ビット、および32ビット）を実行して、どれが有効でどれが無効かを確認することができます。

これは遺伝的プログラミングで使用するためのものであり、コマンドのバイナリ表現を変更する必要がありますが、無効なものを作成せずにこれを実行しようとしています。

最も簡単な解決策はそれらを数えるだけのようですが、元の命令セットと小さい命令セットの間の変換関数はどのように機能しますか？

私の最初の CS クラスの 1 つで、「真の機能的論理」について学習します。

私の質問は英訳に関するものです。^ は AND であることに注意してください。v は (包括的) OR です。〜ではありません。-> はIFです

「RENTが支払われていることは、ビジネスを継続するための必要条件です」

すべてを採点するたびに、これは間違っていました。先生に理由を聞いたところ、「then文にnoがない場合、前件は常に最後です」とだけ言われました。

これがどのように間違っているかについて、もう少し説明が欲しいです。そして、どのように文があいまいではありません。「なかったからずっとこう」以上の何かthen。

また、補足:IFブール演算子はどこから来たのですか? 基本的に Cish コードでa==true?b:true. 使い方が非常にわかりずらいです。

編集：正解は

昨日、この質問を投稿しましたが、私のアカウントが 9 か月後もまだアクティブであることに気付かず、二重投稿で申し訳ありませんでした。ジェリービーンによって指摘された私の例のエラーを修正しました。問題のコンテキストについてさらに詳しく説明します。 .

Pythonでネストされたリストと文字列として表される一次論理式を処理して、論理和正規形になるようにしようとしています。

すなわち

になる

|はまたはであり、&です。

現在、「ands」のリスト引数内にネストされた「or」記号が見つからなくなるまで、式を何度かパスする再帰的な実装を使用しています。普遍的な計算ツリーロジック|の文字列とリストとして表されるネストされた式のセットを処理するために使用されているため、 s とsだけで&なく一時的な演算子も含まれます。

これは私の実装でperformDNF(form)あり、エントリ ポイントです。現時点では、dnfDistributivity()小さい入力に対して機能する数式に対して単一のパスを実行しますが、より大きな入力を使用すると、while ループ チェック関数 ( checkDistributivity()) は|s 内に&s を検出せず、終了します。誰か助けてください、これは私を怒らせています。

このブール含意について助けが必要です。

誰かがこれがどのように機能するかを簡単な言葉で説明できますか？

A意味しますB = B + A'（Aの場合はB）。また、A >= B

私は正しい方向へのポインターを見つけることができないようです、私は私が研究すべき用語が何であるかさえわかりませんが、数え切れないほどのグーグルが私を輪になって回しているようです、それでうまくいけばスタックの知性の集合的なハイブオーバーフローが役立ちます。

問題はこれです。複合論理ツリーとしか呼べないデータをフィルタリングする方法が必要です。現在、システムは単純なANDフィルタリングシステムを実装しています。たとえば、人のデータセットがあるとします。（Sex = Female）AND（Age> 23）AND（Age <30）AND（Status = Single）のすべての人を表示するように一連のフィルターを追加します。非常に簡単で、各アイテムを繰り返し処理し、すべての条件が真である場合にのみ有効なアイテムコレクションに追加します。

私が直面している問題は、関連する複雑なクエリを作成できるユーザーをどのように処理するかということです。私は、各ノードがその子を真または偽に評価する式を表すツリーのようなものを考えています。単純な例は次のようになります-（（Sex == Male AND Age == 25）OR（Sex == Female AND St​​atus == Single））AND IQ>120にフィルターします。申し訳ありませんが、でより良い例を考えることはできません。瞬間。しかし、このタイプの式ツリーをどのように表現し、これらのフィルターに対してコレクション内のアイテムを評価するのでしょうか。役立つ参考資料は何ですか？地獄、ポジティブな方向につながるかもしれないいくつかの気の利いたグーグル検索は何ですか？！

助けてくれる人に感謝します。

これは、人々のデータセットを使用したツリー形式の複合クエリの例です。

• クエリ-性別が男性で目が緑色、性別が女性、目が青色、またはステータスが単一のすべての人を表示します。パレン形式（性別==男性&&目==緑）|| （性別==女性&&（目==青||ステータス==シングル））

だから木の形でimThinking

解決策は、次のようなデータ構造で各ノードを表すことだと思います

したがって、特定のノードについて、ANDノードの場合は子を評価し、式がtrueになり、すべてのAND子がtrueと評価されるか、OR子がtrueと評価されて再帰する場合は、trueを返します。

私が投げることができるすべての概念的な条件を満たすようですが、それ以来、私はそれを実装します。この問題を他の人にとってよりよく説明するのに役立つように、実際のコードとその動作および写真を後で投稿します。

はじめに：ルールエンジン、ルールの作成、ルールのモデリング、ルールのデータ構造の実装などの経験はありません。したがって、私は自分が何をしているのか、または以下で試みたことがベースから大きく外れているかどうかはわかりません。

次の架空のシナリオを保存して処理する方法を理解しようとしています。私の問題を単純化するために、ユーザーがオブジェクトを購入するタイプのゲームがあり、1000の可能なオブジェクトが存在する可能性があり、オブジェクトは指定された順序で特定のグループでのみ購入する必要があるとします。たとえば、私がユーザーであり、オブジェクトFを購入したいとします。オブジェクトFを購入する前に、以前にオブジェクトA OR（B AND C）を購入している必要があります。FとAを同時に購入することも、FとB、Cを購入することもできません。それらは、ルールで指定された順序である必要があります。最初に、次にFを後で。または、最初にB、C、次にFを実行します。私は今のところ、購入間の期間やユーザーの他の特性については気にかけていません。ただ、それらが今のところ正しい順序であるということだけです。

購入するオブジェクトのルールを読み取って、ユーザーの以前の購入履歴と照合できる、潜在的に数千のオブジェクトについてこの情報を保存するための最良の方法は何ですか？

私はこれを試みましたが、A OR（B AND C）などのグループ化を実装しようとして立ち往生しています。これらのテーブルがあるデータベースにルールを保存したいと思います。

しかし、明らかに、グループ化せずに結果を処理すると、間違った答えが得られます。可能であれば、過度の文字列解析は避けたいと思います:)。1つのオブジェクトには、以前に必要な購入の数が不明である可能性があります。ルールを処理するためのSQLまたは擬似コードスニペットをいただければ幸いです。:)

ただの好奇心と明確な答えの欠如から...

サードパーティから送信されたデータを見ていましたが、「性別」フィールドは [0,1] で、女性 (0) または男性 (1) を示しています。

["F","M"] ではなく [0,1] を使用するより良い理由はありますか?

それはシナリオと、フィールドとその値の間の直感性に依存しますか?

データ アクセス速度やサイズの制約はありますか?

月が満月なら？

次の式があるとします

myStringEclipseは、ブール式の 2 番目のフレーズが null である可能性があると警告します。ただし、最初の条件が失敗した場合、一部のコンパイラがブール式を完全に終了することを知っています。これはJavaに当てはまりますか？それとも、評価の順序は保証されていませんか?

読みにくいために 2 つのスケジュール項目が重複しているかどうかを判断するテストを分けました。

論理ステートメントを単純化するのに役立つアプリケーションはありますか?

例: (元は間違った例ですが、私がこれを要求する理由を公開しています)

に減らすことができます

私のコードは次のとおりです。

私はそれをもっと簡単にしたいと思っています.

これは実際には言語に依存しないため、可能性を見つけるために別のスクリプトに変換することもできます。たとえば、C# である必要はありません。