卡诺图主要用于化简多少个变量的逻辑表达式