補題：ブール関数について

（補題：ブール関数について - Plus Le Toolから移動しました。）

初期seedから日時を求める無謀な挑戦 - Plus Le Blogのための補題。
使う記号の定義は補題：数式中で使う記号の定義 - Plus Le Blog参照。

【追記】
計算ミスを直したら、重要になるはずだったリード・マラー標準形がいらない子になった。
その結果、積和標準形とリード・マラー標準形との関係に記事の大部分を割いていたこの記事はほぼ無価値になったため、この記事は書き途中ですがお蔵入りになりました。