maxima - wxMaxima は論理式を比較します

Question

私は wxMaxima を初めて使用し、2 つの論理式を比較する方法がわかりません。例:

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

is(test1=test2);

する必要があります

true

しかし、結果は

false

ここで何が間違っているのですか?!

Answer 1

論理代数パッケージを使用できます。

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