問題タブ [boolean-logic]

何らかの理由で、この関数は私を混乱させました：

誰かが舞台裏で起こっていることの順序を説明して、この作品をそのように機能させることができますか？

私はそれを試すまでこれとしてそれを理解しました：

いずれかA）

またはB）

これはPythonのある種の特殊なケースですか、それともステートメントがどのように機能するかを完全に誤解していますか？

Python はブール式での短絡をサポートしていますか?

Delphi では、ブール変数を使用して次のことができます。

Java で同等のものは !? を使用しますか?

X、Y、Zの3つのバイナリ確率変数が与えられます。次のものも与えられます。

P(Z | X)

P(Z | Y)

P(X)

P(Y)

次に、を見つけることが可能かどうかを判断することになっていますP(Z | Y, X)。私はベイズの定理の形で解を書き直そうとしましたが、どこにも行き着きませんでした。これらがブール確率変数であるとすると、ブール代数の観点からシステムを書き直すことは可能ですか？条件文をブール値（、、x -> yまたは!x + y）にマッピングできることは理解していますが、解決しようとしている全体的な問題の観点から、これがどのように変換されるかはわかりません。

（はい、これは宿題の問題ですが、ここでは、解決策よりもこの問題を正式に解決する方法にはるかに興味があります...この質問はMathOverflowには完全に単純すぎると思いました）

このブール式を最も単純な形式に縮小する必要があります。最も単純な形式には 3 つの用語と 7 つのリテラルが含まれているとします。

式は次のとおりです。

クラスでこれを試してみましたが、朗読の先生でさえ理解できませんでした。

どんな助けでも大歓迎です。

Odbc 経由でデータベースに接続する方法があります。私が呼び出しているストアド プロシージャには、データベース側からの戻り値が 'Char' です。現在、その戻り値を文字列として取得し、単純な if ステートメントで使用しています。データベースから返される値が 0 と 1 の 2 つしかない場合に、このような文字列を比較するという考えは本当に好きではありません。

この状況を処理する適切な方法は何でしょうか。「Convert.ToBoolean()」を試してみましたが、これは明らかな答えのように見えましたが、「文字列は有効なブール値として認識されませんでした。' 例外がスローされました。ここに何かが欠けていますか、それとも「1」と「0」を真と偽のように振る舞わせる別の方法はありますか?

ありがとう！

P の読み方は、古典論理で Q を意味しますか?

例 ：

これは、古典的な論理規則を使用する様相論理です。
KaX : a は X が真であることを知っています。

英語で含意を読む方法に興味がありますか? もしそうなら、そうでなければ？

編集 :モーダル ロジックでは、Ka はボックスになります。これは、必然性ルール、ルール N、つまりボックス P を象徴するボックス形状の記号です。ワールド デルタに P がある場合、アクセス可能なすべてのワールドにも P があるはずです。

ダイヤモンド P もあり、ダイヤモンド P が持つ世界からアクセスできる P を持つ世界が 1 つ存在する可能性を意味します。

次のようなコードがあります。

(静的分析を使用して) 2 つのことを検証したいと思います。

1. すべての条件conditionA, conditionB, ..., conditionZが相互に排他的である場合 (つまり、2 つ以上の条件が同時に真になることはあり得ない)。
2. 考えられるすべてのケースがカバーされます。つまり、「else throw」ステートメントは呼び出されません。

これを（簡単に）実行できるツールや方法を教えてください。

「Prolog を使用する」または「Mathematica を使用する」よりも詳細な情報をいただければ幸いです... ;-)

アップデート：

conditionA, conditionB, ..., conditionZが (純粋な) 関数であり、x、y、z が「プリミティブ」型であると仮定します。

データベーステーブルに多数のブール値を格納する最良の方法は何ですか?

ブール値ごとに列を作成する必要がありますか、それともより最適な方法がありますか?

従業員テーブル

IsHardWorking
IsEfficient
IsCrazy
IsOverworked
IsUnderpaid
...etc.

this.AllowChooseAny.Valueを返しますか？radioSpecific.Checked？UserManager.CurrentUser.IsClient？txtSubject.Text：subjectDropDownList.SelectedItem.Text：String.Empty：UserManager.CurrentUser.IsClient？txtSubject.Text：subjectDropDownList.SelectedItem.Text;

またはそれほど複雑でない形式で：

または概略形式：

明らかに、2つの異なるレベルで重複したブロックがあります。このコードを最適化して、おそらく1つに分割することは可能ですか？またはそのようなもの..