wxMaxima сравнивает логические выражения

Я новичок в wxMaxima и не могу понять, как сравнивать два логических выражения. Например:

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

is(test1=test2);

должно быть

true

но результат

false

Что я здесь делаю не так?!


maxima
person user944351    schedule 16.03.2013    source источник

Ответы (1)


arrow_upward
1
arrow_downward

Вы можете использовать пакет логической алгебры.

load("logic.mac");
test1:(A and B) or C;
test2:(A or C) and (B or C);
logic_equiv(test2, test1 );
(%o20)                               true
person slitvinov    schedule 25.03.2013
comment
Ссылка, которую вы разместили, уже не работает. Есть ли ему замена? - person Anderson Green; 01.05.2015
comment
@Андерсон Грин Это часть максимума. Установите последнюю версию или скачайте пакет из исходного кода maxima sourceforge. net/p/maxima/code/ci/master/tree/share/logic - person slitvinov; 04.05.2015