1

私はこれが嫌いです。注意してください。+ は OR を意味します * は AND を意味します。ないことを意味します。

(A+B) * (A+C) * (!B + !C)

(A | B) & (A | C) & (!B | !C) // more conventnal

答えは A(!B + !C)

私はそこにたどり着こうとしています。

だから私はここに私を得る分配規則を使うことから始めます (A + B) * C * (!B + !C)

それが私が立ち往生しているところです。どうすれば B と C を取り除かなければならないかはわかっていますが、どのルールも使用する方法がわかりません。Identity、Null、Itempotent、Inverse、Commutative、Associative、Distributive、De Morgan's、および Cancellation を使用しています。

私は間違って始めていますか？私は実際に、使用できると思われる唯一のルールを使用しました。Proofs in Geometry をやるのがひどかったのですが、このようなことをするとまた同じように感じてしまいます。

4

2 に答える 2

1

あなたの最初の一歩は間違っています。

(A+B) * (A+C) は (A+(B*C)) です。

次に、(!B + !C) は !(B*C) です。

したがって、A*(!(B*C)) + (B*C)*(!(B*C)) が得られ、目的の結果が得られます。

于 2010-09-24T01:55:07.947 に答える
1 
(A | B) & (A | C) & (!B | !C) = (A | (B & C)) & (!B | !C)
                              = (A | (B & C)) & !(B & C)

置換 D = (B & C)

                              = (A | D) & !D 
                              = A & !D
                              = A & !(B & C)
                              = A & (!B | !C)
于 2010-09-24T02:18:50.550 に答える