混乱ブール式

Question

はブール変数x、yためにこれらの値を考慮すると、z：

x = true 
y = false 
z = true 

はなぜ次の論理式は trueに評価されていますか？

(x || !y) && (!x || z) 

Answer 1

代替：

(true || !false) && (!true || true) 

否定値を反転：1辺がtrueの場合

(true || true) && (false || true) 

は、全体の文があり、（論理和文を置き換えますtrue）：

true && true 

Replac e ANDedステートメント（両辺が真の場合、ステートメント全体が真）：

true 

Answer 2

(x || !y) && (!x || z) 
= (T || !F) && (!T || T) <-- plug in x = T, y = F, z = T 
= (T || T) && (F || T) <-- !F = T, !T = F 
= T && T <- T || T = T, F || T = T 
= T <- T && T = T 

実は、とても混乱何を教えてください。私はあなたがそれが全く混乱していると少し混乱しています。 x、y、およびzの値の

Answer 3

TrueまたはFalseは常にTrueです。 true || false TrueとTrueは常にTrueです。 true && true

Answer 4

Xは、最初のグループ化ではtrueで、最初のグループ化が真になります。 Zは第2のグループ化において真であり、第2のグループ化は真である。したがって、グループ1とグループ2は真です。