在学数字电路时，有逻辑函数化简的问题。其中有一种有效的化简方法是用卡诺图，有位自学的小伙伴对使用卡诺图化简逻辑函数表达式时有几个问题，现在我们一起探讨一下。

他的第一个问题是：卡诺图化简或者公式化简的答案是不是不是唯一的，他发现有时候自己做出来的和标准答案不一样，他很担心自己做错了。

问题二是用卡诺图化简时，一个格子能被两个、三个圈共用；问题三是：卡诺图化简时，有四个相邻的就圈四个相邻的，并举出1张图片作为例子，由于圈的方法有很多种，不要只圈两个，像第二张图片一样，不是最简的话算错吗？

根据以上问题，我认为卡诺图化简得到的结果不唯一，取决于我们的圈法;同一个格子可以被圈多次;卡诺图尽量圈大圈、尽量圈多的，圈少就会留下冗余项。

最后他又发了一张照片，问这样写是不是错了，还是说只是不够简化，不算错？

我大致看了一下，用卡诺图圈画时不够大就会得到不是最简的结果，不能说所得的化简结果就是错的。
数字有逻辑 公式化简