Question

逻辑代数的吸收率证明

就是不用真值表法来解决，我没想到怎么解决，谢谢大家了

Answer 1

若x∈BC,则x∈B,且x∈C,
当x∈A时x∈AB;当x∈A'（表示非A）时,x∈A'C,
∴x∈AB+A'C,
即BC是AB+A'C的子集，
∴命题成立。
证2 AB+A'C+BC
=AB+A'C+(A+A')BC
=AB+A'C+ABC+A'BC
=AB+A'C.

Answer 2

非常基本的，
通常用【真值表】来证明。

追问

emmmm，，，我觉得不太基本，一步一步推么