作者AVL (高度平衡树)
看板logic
标题[请益] 逻辑题
时间Fri Sep 1 14:40:25 2006
( 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)
1F：推 bamboolover:(A'+C')+A'BC+B'C=A'+C'+A'BC+B'C=A'(1+BC)+C'+B'C 09/01 16:26
2F：→ bamboolover:=A'+C'+B'C=A'+C'(1+B')+B'C=A'+(C'+B'C')+B'C 09/01 16:28