簡體   English   中英

如何簡化x &&(!y ||(y && z))

[英]How to simplify x && (!y || (y && z))

有沒有更好的方法來檢查x && (!y || (y && z))是否正確? 我想我可以為此創建一個函數,然后執行x && not_or_and(y, z)來減輕某些痛苦。 但這真的是我能做的嗎?

忽略表達式中的副作用,這在邏輯上是等效的

x && (!y || z)

您在(y && z)中為y進行的額外檢查是多余的,因為如果到達需要完全檢查表達式的那一部分的位置,則您已經確定!y為假,這意味着y為真。

暫無
暫無

聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.

 
粵ICP備18138465號  © 2020-2024 STACKOOM.COM