Boolean logic 返回案例的逻辑表示

我试图将这个psuedo代码函数的返回案例表示为一个表达式。特别是为了说明当（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，==变成！=

这是同样的逻辑。你说的是德摩根定律。在学校里，他们可能会教你三到四种不同的方法来解决相同的逻辑问题，所有这些方法都使用不同的符号，从而让你感到困惑。逻辑完全一样。不同的学科有自己的惯例