Может ли сервис Wolfram Alpha решать задачи по математической логике?

Ну например строить таблицу истинности, СКНФ, СДНФ, полином Жигалкина, карты Карно и прочее. Если да, то как?
Если нет, то подскажите бесплатные онлайн сервисы, которые это умеют делать. Заранее спасибо.


Примечание:
K_AHTOH < Ты вот это имеешь ввиду?
http://ru.wikibooks.org/wiki/Синтаксис_Wolfram_Alpha

Но тут то-то слабовато расписано.

Примечание:
О, вот это прикол.
http://www.wolframalpha.com/input/?i=truth+table+p+xor+q+xor+r+xor+s

Примечание:
Но мне бы разобраться, как на этом сервисе упростить СКНФ и СДНФ. Думаю, это тоже вполне реально.

Примечание:
K_AHTOH < Тогда какую справку ты имел ввиду?

Примечание:
Хотя судя по этому наверное никак. :(
http://www.wolframalpha.com/examples/LogicSetTheory.html

Примечание:
Умный пользователь < Неплохо. Но это всё же не то.

RPI.su - самая большая русскоязычная база вопросов и ответов. Наш проект был реализован как продолжение популярного сервиса otvety.google.ru, который был закрыт и удален 30 апреля 2015 года. Мы решили воскресить полезный сервис Ответы Гугл, чтобы любой человек смог публично узнать ответ на свой вопрос у интернет сообщества.

Все вопросы, добавленные на сайт ответов Google, мы скопировали и сохранили здесь. Имена старых пользователей также отображены в том виде, в котором они существовали ранее. Только нужно заново пройти регистрацию, чтобы иметь возможность задавать вопросы, или отвечать другим.

Чтобы связаться с нами по любому вопросу О САЙТЕ (реклама, сотрудничество, отзыв о сервисе), пишите на почту [email protected]. Только все общие вопросы размещайте на сайте, на них ответ по почте не предоставляется.