Question

逻辑代数包含律怎么证明

Answer 1

用\'表示非号，如b\'即非b\r\n15.f=ab\'+bd+cde+a\'d\r\n
=(ab\'+ab\'d)+(a+a\')bd+cde+（b+b\')a\掸肌侧可乇玖岔雪唱磨9;d
(第一项是对a=a+ab这个公式的反运用，后两项因a+a\'=1乘上它之后不改变原式的值）\r\n
=(ab\'+ab\'d)+(abd+a\'bd)+cde+（a\'bd+a\'b\'d）\r\n
=ab\'+cde+(ab\'d+abd+a\'bd+a\'b\'d）\r\n
=ab\'+cde+(ab\'+ab+a\'b+a\'b\')d（括号里的式子等于1）\r\n
=ab\'+cde+d\r\n
=ab\'+d（运用公式a=a+ab