simlify для булевой алгебры

Форум пользователей пакета Maple

Модератор: Admin

ISV
Сообщения: 6
Зарегистрирован: Пт ноя 18, 2005 10:06 pm

simlify для булевой алгебры

Сообщение ISV » Вт дек 18, 2007 9:46 pm

Подскажите,есть ли в Maple аналог simlify, но для булевых алгебр. Пример: А+А=А

aar
Сообщения: 100
Зарегистрирован: Чт авг 10, 2006 11:27 am

Сообщение aar » Ср дек 19, 2007 9:16 pm

Есть пакет Logic, смотрите его хелп.