私は非常に長いブール単純化の終わりに達しました。ここでは、何かが証明されていたはずです。私はポイント（aと（not b））または（aとb）に達しました。この方程式をさらに再編成しても、それ以上の進展はありませんでした。しかし、真実のテーブルを使って、私は（aと（bではない））または（aとb）が実際に同じであることを確認しました。それは直感的にも意味をなさないが、ブール代数の法則を実際に（aと（bではない））または（aとb）を？（aと（bではない））または（aとb）= aはなぜですか？
（（Aおよび（NOT B））、または（AとB））...分配法則
< =>（Aおよび（BかB）...（BかB）
< =>
[（aと（b）でない）か（aとb）] | （aまたはb）および（aまたはb）またはa）および（bまたはbでない）] <=> [aおよび（aまたはb）および（b）またはa） ]？ – serialExperiments
配布する自由なかれ真である：
C =（A及び¬b）
（AおよびB）またはc
（またはc）および（BまたはC）
（Aまたは（Aおよび¬b））および（bまたは（Aおよび¬b））
左の両方のために再度配布及び右側：
（（またはA）及び（又は¬b））及び（（BまたはA）及び（Bまたは¬b））
簡素化：
（Aおよび（をaまたは¬b））および（（bまたはa）およびT）
（a）および（：（A及び（A又は¬b））及び（BまたはA）
簡素化再度（= xおよび（X又はY）== X吸収特性を利用して）
し、再びBまたはA）：
Aおよび（またはb）
==
（私はこれが周りの長い道のりのビットです知っている...）
aが真の場合、bの値が異なると結果はどうなりますか？ aが偽ならば、bの異なる値の結果はどうなりますか？ – TZHX
プログラミングやソフトウェア開発ではなく、ブール代数と[math.se]についての話題なので、この質問を議論の対象外とすることにしました。 – Pang
*（雨が降って夜間ではない）、（雨が降っている）=（雨が降っている）* – ImaginaryHuman072889