我无法通过逻辑等价来减少逻辑表达式。表达式如下:
~A~C~D + AB~C~D + ABD + ABC~D + A~B~C~D
使用卡诺图,我可以将表达式简化为 AB + ~C~D。
问题在于我试图使用逻辑等价来减少表达式。我尝试过两种方法:
~A~C~D + AB( ~C~D + D + C~D ) + A~B~C~D
~A~C~D + AB( D + ~D(~C + C) ) + A~B~C~D
~A~C~D + AB( ~D + D ) + A~B~C~D
~A~C~D + AB + A~B~C~D
通过这种方法,我能够证明 AB,但我看不到如何解决 ~C~D。另一种方法如下:
~C~D( ~A + AB + A~B) + ABD + ABC~D
~C~D( ~A + A( B + ~B ) ) + ABD + ABC~D
~C~D( ~A + A ) + ABD + ABC~D
~C~D + ABD + ABC~D
通过这种方法,我能够证明~C~D,但我看不出我将如何解决 AB。
有没有办法解决这个问题,这是我没有看到的一个流动证明?