卡诺图相乘x怎么算