如何在java中检查两个表达式是否等价[关闭]

Question

我想检查Java 中的两个表达式是否等价。假设我有两个表达式：
exp 1:

A && B && ( C || D)  

exp 2：

B && ( C || D ) && A  

我想检查这两个表达式是否等价。

我所说的等价的意思是，如果说我们有两个表达式，那么这两个表达式必须具有相同的标记（A、B、C、D）和它们之间的相同关系运算符。并且应该为所有输入返回相同的值。我不想考虑java如何执行这些事情的顺序。我需要的是一个库或一些 java 代码 sn-p 这样做。关于算法的信息也很好。

Answer 1

它们不是由于简短的评估。在 Java 中，当 A 被评估为 false 时，A && B 立即返回 false。它有所作为，例如当涉及到Exceptions 或非纯函数的布尔方法时。

你可以试试下面的实验：

public class Test {

    public n = 0;
    public boolean A() {
        System.out.println("A");
        return false;
    }
    public boolean B() {
        System.out.println("B");
        return true;
    }
    public boolean C() {
        n++;
        return true;
    }
    public boolean D() {
        n = n*2;
        return false;
    }
    public static void main(String[] args) {
        Test test = new Test();
        if (test.A() && test.B()) { System.out.println("true"); }
        if (test.B() && test.A()) { System.out.println("true"); }
        if (test.C() && test.D()){}
        else {System.out.println(t.n);}
        t.n = 0;
        if (test.D() && test.C()){}
        else {System.out.println(t.n);}
        t.n = 0;
        boolean c = test.C();
        boolean d = test.D();
        if (d && c){}
        else {System.out.println(t.n);}
    }
}

它显示了与副作用相关的简短评估的后果。