wxMaxima比较逻辑表达式

Question

我是wxMaxima的新手，不知道如何比较两个逻辑表达式。例如：

test1:(A and B) or C;
test2:(A or C) and (B or C);

is(test1=test2);

应该是

true

但结果是

false

我到底做错了什么？！

Answer 1

您可以使用a logic algebra package。

load("logic.mac");
test1:(A and B) or C;
test2:(A or C) and (B or C);
logic_equiv(test2, test1 );
(%o20)                               true