数字电路、圈卡诺图、最大项最小项