逻辑代数的证明,本人初学,很不了解,请求赐教.1,BC+D+D非(B非+C非)(AD+B)=B+D2,A非C非+A非B非+BC+A非C非D非=A非+BC.本人看了很久看不出来.请写详细一点.

Question

逻辑代数的证明,本人初学,很不了解,请求赐教.
1,BC+D+D非(B非+C非)(AD+B)=B+D
2,A非C非+A非B非+BC+A非C非D非=A非+BC.
本人看了很久看不出来.请写详细一点.

Answer 1

第一题是反复套用吸收律（如果对逻辑代数的基本定律不熟的话建议多看看书）
为了记号简单下面用A'代表A非
BC+D+D非(B非+C非)(AD+B)=BC+D+(B'+C')(AD+B) ……对D用吸收律
=BC+D+(BC)'(AD+B) ……对bc用反演律
=BC+AD+B+D ……对bc用吸收律
=B+D ……分别对b,d用吸收律
第二个也是吸收律和反演律
A非C非+A非B非+BC+A非C非D非
=A'C'+A'B'+BC ……对a'c'用吸收律
=A'(C'+B')+BC
=A'(BC)'+BC ……反演律
=A'+BC ……bc用吸收律
这种题就是观察和套用公式,多做点题熟练就好了