请运用逻辑代数的基本定律证明 。