用逻辑代数证明下列不等式

出自:江苏科技大学数字电子技术