問題タブ [boolean-algebra]

私が書いているこのプログラムでは、ブール式を単純化して読み取り/出力する必要があるプログラムを書いています。これを行うには、次のようなコード間で変換できる必要があります。

AND(OR(a,b), NOT(OR(c,a)))

の中へ

(A+B).'(C+A)

aとb は変数/パラメーターです (これらは私のプログラムの実際の関数を表しますAND(a,b)) 。OR(a,b)NOT(a)

これにどうアプローチしたらいいのかわからないので、何かご案内できることがあれば、よろしくお願いします。

ありがとうございました。

関数が含まれ、データがビット単位の場合、2 つの変数を使用して 2 つの方程式を解く方法は?

式 1:

f+i+定数データ=リードソロモン関数(h+定数データ)

式 2:

h +i + 定数データ = リードソロモン関数 ( f + 定数データ)

ここで、f、h、i はビット (ブール配列) であり、定数データもビット (ブール配列) です。定数データは既知です

左側は 56 ビット 右側 (内部関数) は 152 ビット

ブルートフォースアプローチを試みましたが、永遠にかかり、機能しません。

オンラインで見つけたヒント：ガウス消去法を使用する必要がありますが、このアプローチについてはわかりません

~ は NOT を意味し、+ は Or を意味します

ブール法則を使用して以下を単純化したい-

~A~B~C~D + ~A~B~CD + ~A~BCD + ~AB~CD + ~ABC~D +~ABCD + A~B~CD + A~BC~D + AB~CD +あいうえお

したがって、~A~B~C + ~ABC + A~BC~D + DB~C + A~CD + ABD + ~A~BCD まで単純化しました。

ただし、K-map メソッドから見つけた次の形式に単純化する方法を見つけることができませんでした。

~A~B~C + ~ABC + A~BC~D + ~AD + BD + ~CD

最初の 3 つの変数が等しい (~A~B~C + ~ABC + A~BC~D) ことはわかりますが、単純化する方法がわかりません。

DB~C + A~CD + ABD + ~A~BCD

の中へ

~AD + ~BD + ~CD