boolean - 排他的 OR 結合性 ブール代数証明

Question

(A ⊕ B) ⊕ C = A ⊕ (B ⊕ C)ブール代数を使用して証明します。真理値表を作って積和を求めたのですが、等号の出し方がわかりませんでした。

私はそれからやってみました

(a xor b) xor c  (a' - is NOT(A)/inverse)
(a'b + ab') ⊕ C
c' (a'b + ab') + c[(a'b + ab')']  

そこから行けなかった、

Answer 1

A^B=(AB'+A'B)

(AB)'=(A'+B')

---

(A^B)^C

=(AB'+A'B)C' + (AB'+A'B)'C

=(AB'C'+A'BC')+((AB')'(A'B)')C

=(AB'C'+A'BC')+(A'+B)(A+B')C

=(AB'C'+A'BC')+(A'(A+B')+B(A+B'))C

=(AB'C'+A'BC')+(A'B' + AB)C

=(AB'C'+A'BC'+A'B'C + ABC)

=A(B'C'+BC)+A'(BC'+B'C)

= A(B'C'+BC)+A'(B^C) (1)

(B^C)'

=(BC'+B'C)'

=(BC')'(B'C)'

=(B'+C)(B+C')

= (B'C'+BC)(2)

から(2)、(1)= A(BC'+B'C)' + A'(B^C)= A(B^C)' + A'(B^C)= A^(B^C)#

Answer 2

最初に定義XORしてXNOR：

  A^B   = AB' + A'B     ... (1)
 (A^B)' = AB  + A'B'    ... (2)

(A^B)C次に、（1）と（2）を使用して展開します。

 (A^B)C = (A^B)C' + (A^B)'C
        = (AB' + A'B)C' + (AB + A'B')C
        = AB'C' + A'BC' + ABC + A'B'C

用語を収集して簡素化します。

        = A(B'C' + BC) + A'(BC' + B'C)
        = A(B^C)' + A'(B^C)
        = A^(B^C)

QED