Аналитические вычисления математических выражений в СКА Maxima

Задание 1:

Для булевой функции, определённой с помощью заданного математического выражения, разработать и реализовать таблицу истинности. Аналитически вычислить вектор значений булевой функции для всех заданных наборов значений её аргументов.

Задание 2:

Определены две булевы функции, заданные формулами A и B. Проверить, являются ли эти формулы эквивалентными. Для решения задачи необходимо каждую из формул представить либо в ДНФ, либо в КНФ, а затем применить к полученным результатам оператор символьного сравнения выражений.