数字逻辑问题……证明的第一步就看不懂了，求高手指点，这是什么规则呢？

Question

如题所述

Answer 1

用X′表示X的非。则：
　　左边＝A′B′＋AB′C′＋A′BC′；
其中：
　　A′B′；
　＝A′·B′·1；——自等律
　＝A′·B′（1＋C′）；——零一律
　＝A′·B′·1＋A′·B′·C′）；——分配律
　＝A′B′＋A′B′C′；——自等律
这个结果可用吸收律直接得出。我上面其实就是吸收律的一个证明。所以：
　　左边＝（A′·B′＋A′B′C′）＋AB′C′＋A′BC′；
——你的题目中，第3项是ABC′，我想是印刷错误。继续：
　　左边＝（A′B′＋A′B′C′＋A′B′C′）＋AB′C′＋A′BC′；——幂等律（重叠律）
　　　　＝A′B′＋（A′B′C′＋AB′C′）＋（A′B′C′＋A′BC′）；——交换律、结合律
　　　　＝A′B′＋（A′＋A）·B′C′＋A′C′·（B′＋B）；——分配律
　　　　＝A′B′＋1·B′C′＋A′C′·1；——互补律
　　　　＝A′B′＋B′C′＋A′C′；——自等律（这最后3步可用合并律直接得出）
　　　　＝右边；

Answer 2

中间一个是ABC +ABC 是构造出来的，等于1，所以对结果没影响追问

请问哪一行的中间abc是构造出来的？

追答

第二行

追问

额？那个中间的不是已知吗？从头起第三行中间那两项是咋来的呢？