逻辑代数函数式化简，用的什么定律

图片上的函数式是怎么化简的？用的什么律？