Carnot图证明法

Carnot图是逻辑函数化简的一种图表。本文探讨了将该图用于逻辑恒等式的证明。导出了这种方法证明的理论根据,给出了用此方法证明的具体步骤。最后将其与同类方法作了比较,发现它是一种比较简便,且容易掌握的逻辑证明方法。