[請益] 邏輯題

[AVL (高度平衡樹)]

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

試證明之

(註："'"為complement)

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 219.81.163.98
※ 編輯: AVL             來自: 219.81.163.98        (09/01 14:41)
推 bamboolover:(A'+C')+A'BC+B'C=A'+C'+A'BC+B'C=A'(1+BC)+C'+B'C
→ bamboolover:=A'+C'+B'C=A'+C'(1+B')+B'C=A'+(C'+B'C')+B'C