wxMaxima比較邏輯表達式

Question

I'm新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