simplify(~(~(x | y) & ~(y | z)))

3 次查看(过去 30 天)
Lisa Lee
Lisa Lee 2017-8-10
编辑: Jan 2017-8-10
I don't understand why it is equivalent to x | y | z . Can someone please help to explain this to me?

采纳的回答

Jan
Jan 2017-8-10
编辑:Jan 2017-8-10
Remember these equivalences ( De Morgan's laws ):
~(x | y) <==> ~x & ~y
~(x & y) <==> ~x | ~y
Then
~(~(x | y) & ~(y | z)) ==>
~((~x & ~y) & (~y & ~z)) ==>
~(~x & ~y) | ~(~y & ~z) ==>
~~x | ~~y | ~~y | ~~z ==>
x | y | y | z ==>
x | y | z
Applying the operations from the outside to the inside is faster:
~(~(x | y) & ~(y | z)) ==>
~~(x | y) | ~~(x | z) ==>
x | y | y | z

更多回答(0 个)

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by