逻辑代数中，存在下述关系：A+BC=（A+B）（A+C）。