我是 wxMaxima 的新手,不知道如何比较两个逻辑表达式。例如:
test1:(A and B) or C;
test2:(A or C) and (B or C);
is(test1=test2);
应该
true
但结果是
false
我在这里做错了什么?!
我是 wxMaxima 的新手,不知道如何比较两个逻辑表达式。例如:
test1:(A and B) or C;
test2:(A or C) and (B or C);
is(test1=test2);
应该
true
但结果是
false
我在这里做错了什么?!
您可以使用逻辑代数包。
load("logic.mac");
test1:(A and B) or C;
test2:(A or C) and (B or C);
logic_equiv(test2, test1 );
(%o20) true