返回個案的邏輯表示

Question

我想將這個僞代碼函數的返回個案表示爲表達式。具體而言，說明其返回時（A == X）& &（B == Y）

枚舉定義爲{X，Y，Z}

Enum function(Enum A,Enum B) 
    if ((A==X)||(B==X)) 
     return X 
    else if ((A==Y)||(B==Y)) 
     return Y 
    else 
     return Z 

沒有人知道如何做情況下，執行這適當。我試圖使用6個變量Kmap，但我的答案似乎並不正確。我得到的最接近的是：

R1 is the return case X 
R2 is the return case Y 
R3 is the return case Z 

R1: ((A==X)||(B==X)) 
R2: ((!R1)&&((A==Y)||(B==Y))) 
    (((!((A==X)||(B==X)))&&((A==Y)||(B==Y))) 
R3: (!R2) 
    (!(((!((A==X)||(B==X)))&&((A==Y)||(B==Y)))) 

但是當我去申請的！操縱表示的案例我迷路了。它會遵循與布爾邏輯類似的地方，其中OR變成AND並且==變成！=？

Answer 1

它是相同的邏輯。你在談論德摩根的法律。他們可能會試圖通過教你三種或四種不同的方式來解決相同的邏輯問題，使用不同的符號來迷惑你。邏輯完全一樣。不同的學科只有自己的約定。