逻辑代数基本公式和常用公式将f=ab非 b a非b化为最简