[英]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.