boolean-logic - 退货案例的逻辑表示

Question

我试图将这个伪代码函数的返回案例表示为一个表达式。专门说明(A==X)&&(B==Y)时执行哪个return case

枚举定义为 {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

这是相同的逻辑。你在谈论德摩根定律。他们可能会在学校教你三到四种不同的方法来做同样的逻辑问题，用不同的符号来迷惑你。逻辑完全一样。不同的学科只是有自己的约定。