化简逻辑代数的方法有代数化简法和（）化简法。