这个逻辑表达式A+A非*B=A+B其证明为A+A非*B=(A+A非)(A+B)=1*(A+B)=A+B但是这个式子的第二步我看不明白,就是怎样化成(A+A非)(A+B)这里我就不明白了,

Question

这个逻辑表达式 A+A非*B=A+B其证明为 A+A非*B=(A+A非)(A+B)=1*(A+B)=A+B
但是这个式子的第二步我看不明白,就是怎样化成(A+A非)(A+B) 这里我就不明白了,

Answer 1

1.第二步用的是“分配律”.
集合写法:AU(~A∩B)=(AU~A)∩(AUB)
命题逻辑写法：A∨(┌A∧B)(A∨┌A)∧(A∨B)
2.算术中的“分配律”
a*(b+c)=(a*b)+(a*c)