用离散数学的等值演算来化简程序，求化简步骤

用离散数学的等值演算来化简程序，求化简步骤。图片上已有答案，求详细过程。